Quentin Menet

According to our database, Quentin Menet authored at least 5 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Compositional Design of Stochastic Timed Automata.

Patricia Bouyer, Thomas Brihaye, Pierre Carlier, Quentin Menet

Proceedings of the Computer Science - Theory and Applications, 2016

2015

Simple strategies for Banach-Mazur games and sets of probability 1.

Thomas Brihaye, Axel Haddad, Quentin Menet

Inf. Comput., 2015

2014

Stochastic Timed Automata.

Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Größer, Marcin Jurdzinski

Log. Methods Comput. Sci., 2014

2013

Fairly Correct Systems: Beyond omega-regularity

Thomas Brihaye, Quentin Menet

Proceedings of the Proceedings Fourth International Symposium on Games, 2013

2012

Almost-Sure Model-Checking of Reactive Timed Automata.

Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski, Quentin Menet

Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012