Quentin Peyras

According to our database, Quentin Peyras authored at least 4 papers between 2017 and 2021.

Collaborative distances:

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

2021

A decidable and expressive fragment of Many-Sorted First-Order Linear Temporal Logic.

Quentin Peyras, Julien Brunel, David Chemouil

Inf. Comput., 2021

Sound Verification Procedures for Temporal Properties of Infinite-State Systems.

Quentin Peyras, Jean-Paul Bodeveix, Julien Brunel, David Chemouil

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2019

A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic.

Quentin Peyras, Julien Brunel, David Chemouil

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

2017

Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata.

Aleksandra Jovanovic, Marta Kwiatkowska, Gethin Norman, Quentin Peyras

Theor. Comput. Sci., 2017