Login / Signup
Quentin Peyras
Publication Activity (10 Years)
Years Active: 2017-2021
Publications (10 Years): 4
Top Topics
Controller Synthesis
Linear Temporal Logic
Model Checking
Timed Automata
Top Venues
CAV (2)
Inf. Comput.
TIME
Theor. Comput. Sci.
</>
Publications
</>
Quentin Peyras
,
Julien Brunel
,
David Chemouil
A decidable and expressive fragment of Many-Sorted First-Order Linear Temporal Logic.
Inf. Comput.
280 (2021)
Quentin Peyras
,
Jean-Paul Bodeveix
,
Julien Brunel
,
David Chemouil
Sound Verification Procedures for Temporal Properties of Infinite-State Systems.
CAV (2)
(2021)
Quentin Peyras
,
Julien Brunel
,
David Chemouil
A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic.
TIME
(2019)
Aleksandra Jovanovic
,
Marta Kwiatkowska
,
Gethin Norman
,
Quentin Peyras
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata.
Theor. Comput. Sci.
669 (2017)