Quentin Menet

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Compositional Design of Stochastic Timed Automata.
Proceedings of the Computer Science - Theory and Applications, 2016

2015
Simple strategies for Banach-Mazur games and sets of probability 1.
Inf. Comput., 2015

2014
Stochastic Timed Automata.
Logical Methods in Computer Science, 2014

2013
Fairly Correct Systems: Beyond omega-regularity
Proceedings of the Proceedings Fourth International Symposium on Games, 2013

2012
Almost-Sure Model-Checking of Reactive Timed Automata.
Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012


  Loading...