Quentin Menet

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 2

Top Topics

Reactive Systems

Pspace Complete

Top Venues

Log. Methods Comput. Sci.

Publications

Patricia Bouyer, Thomas Brihaye, Pierre Carlier, Quentin Menet
Compositional Design of Stochastic Timed Automata. CSR (2016)
Thomas Brihaye, Axel Haddad, Quentin Menet
Simple strategies for Banach-Mazur games and sets of probability 1. Inf. Comput. 245 (2015)
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Größer, Marcin Jurdzinski
Stochastic Timed Automata. Log. Methods Comput. Sci. 10 (4) (2014)
Thomas Brihaye, Quentin Menet
Fairly Correct Systems: Beyond omega-regularity GandALF (2013)
Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski, Quentin Menet
Almost-Sure Model-Checking of Reactive Timed Automata. QEST (2012)