1 citations · 1 across the 4 of their papers we have counts for
4 papers
Fairness and promptness in Muller formulas
Damien Busatto-Gaston, Youssouf Oualhadj, Léo Tible +1
In this paper we consider two different views of the model checking problems for the Linear Temporal Logic (LTL). On the one hand, we consider the universal model checking problem…
Processes, Systems and Tests: Defining Contextual Equivalences
Clément Aubert, Daniele Varacca
In this position paper, we would like to offer and defend a new template to study equivalences between programs -- in the particular framework of process algebras for concurrent co…
Banach-Mazur Parity Games and Almost-sure Winning Strategies
Youssouf Oualhadj, Léo Tible, Daniele Varacca
Two-player stochastic games are games with two 2 players and a randomised entity called "nature". A natural question to ask in this framework is the existence of strategies that en…
Computational Complexity of Interactive Behaviors
Ugo Dal Lago, Tobias Heindel, Damiano Mazza +1
The theory of computational complexity focuses on functions and, hence, studies programs whose interactive behavior is reduced to a simple question/answer pattern. We propose a bro…