Quentin Peyras

Quentin Peyras

École pour l'Informatique et les Techniques Avancees - Le Kremlin-Bicêtre / France
Others
AD Scientific Index ID: 4837265
Graduate School of Computer Science and Advanced Technologies
person_outline Quentin Peyras's MOST POPULAR ARTICLES
1-) Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata A Jovanović, M Kwiatkowska, G Norman, Q Peyras Theoretical Computer Science 669, 1-21, 2017 92017
2-) Sound verification procedures for temporal properties of infinite-state systemsQ Peyras, JP Bodeveix, J Brunel, D ChemouilComputer Aided Verification: 33rd International Conference, CAV 2021 …, 202142021
3-) A bounded domain property for an expressive fragment of first-order linear temporal logicQ Peyras, J Brunel, D Chemouil26th International Symposium on Temporal Representation and Reasoning (TIME …, 201932019
4-) A decidable and expressive fragment of many-sorted first-order linear temporal logicQ Peyras, J Brunel, D ChemouilInformation and Computation 280, 104641, 202122021
5-) Propriété du domaine borné pour la logique temporelle linéaire du premier ordre et applications à la vérification de systèmes à états infinisQ PeyrasInstitut Superieur de l\'Aeronautique et de l\'Espace (ISAE), 20222022