2 papers
cs.FL2025
Time for Timed Monitorability
Thomas M. Grosen, Sean Kauffman, Kim G. Larsen +1
Monitoring is an important part of the verification toolbox, in particular in situations where exhaustive verification using, e.g., model-checking is infeasible. The goal of online…
cs.FL2025
You May Delay, but Time Will Not: Timed Games Under Delayed Control
Kim G. Larsen, Martin Zimmermann
Inspired by Martin Fränzle's persistent and influential work on capturing and handling delay inherent to cyber-physical systems in the formal verification of such systems, we study…