The adoption of technology may be a necessary condition, but it is not sufficient for the digital transformation, seen as mobilizing challenge to do something new and different. Without strategic vision, we take risk acquiring resources same before, essentially changing format. This inability imprisons school inconsequential models, strategies. Interdisciplinary, social project-based learning t...

In a context of ω-regular specifications for infinite execution sequences, the classical Büchi condition, or repeated liveness condition, asks that an accepting state is visited infinitely often. In this paper, we show that in a probabilistic context it is relevant to strengthen this infinitely often condition. An execution path is now accepting if the proportion of time spent on an accepting s...