Quentin Peyras

From MaRDI portal
Person:517045

Available identifiers

zbMath Open peyras.quentinMaRDI QIDQ517045

List of research outcomes





PublicationDate of PublicationType
A bounded domain property for an expressive fragment of first-order linear temporal logic2023-02-03Paper
Sound verification procedures for temporal properties of infinite-state systems2022-03-25Paper
A decidable and expressive fragment of Many-Sorted first-order linear temporal logic2021-09-21Paper
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata2017-03-16Paper

Research outcomes over time

This page was built for person: Quentin Peyras

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:517045&oldid=7007828"
Powered by MediaWiki