# Quentin Menet

According to our database

Collaborative distances:

^{1}, Quentin Menet authored at least 5 papers between 2012 and 2016.Collaborative distances:

## 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