2 papers
cs.LO2025
Runtime Verification for LTL in Stochastic Systems
Javier Esparza, Vincent Fischer
Runtime verification encompasses several lightweight techniques for checking whether a system's current execution satisfies a given specification. We focus on runtime verification…
cs.FL2024
Decidability Issues for Petri Nets -- a survey
Javier Esparza, Mogens Nielsen
We survey 25 years of research on decidability issues for Petri nets. We collect results on the decidability of important properties, equivalence notions, and temporal logics.