2 papers
cs.GT2025
Games on Graphs: From Logic and Automata to Algorithms
Nathanaël Fijalkow, C. Aiswarya, Guy Avni +22
The objective of this book is to give a comprehensive presentation of the research field concerned with infinite duration games on graphs. Historically, these game models appeared…
cs.SE2024
Distributed Monitoring of Timed Properties
Léo Henry, Thierry Jéron, Nicolas Markey +1
In formal verification, runtime monitoring consists of observing the execution of a system in order to decide as quickly as possible whether or not it satisfies a given property. W…