Quentin Peyras

Available identifiers

zbMath Open peyras.quentinMaRDI QIDQ517045

List of research outcomes

Publication	Date of Publication	Type
A bounded domain property for an expressive fragment of first-order linear temporal logic	2023-02-03	Paper
Sound verification procedures for temporal properties of infinite-state systems	2022-03-25	Paper
A decidable and expressive fragment of Many-Sorted first-order linear temporal logic	2021-09-21	Paper
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata	2017-03-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Quentin Peyras