4 citations · 4 across the 3 of their papers we have counts for
3 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…
Non-monotone DR-submodular Maximization: Approximation and Regret Guarantees
Christoph Dürr, Nguyen Kim Thang, Abhinav Srivastav +1
Diminishing-returns (DR) submodular optimization is an important field with many real-world applications in machine learning, economics and communication systems. It captures a sub…
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…