2 papers
cs.LO2026
Witnesses and Counterexamples for Timed Bisimulation
Alexander Lieb, Malte Lochau
Timed automata provide a modeling formalism for time-critical properties of reactive systems with discrete-state/continuous-time behaviors. To handle the infinite state space of ti…
cs.FL2026
Checking Timed Bisimilarity with Virtual Clocks
Alexander Lieb, Hendrik Göttmann, Lars Luthmann +2
Timed automata are a widely used formalism for specifying the discrete-state/continuous-time behavior of time-critical reactive systems. For the fundamental verification problem of…