2 papers
cs.LO2026
Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
Ãtienne André, Didier Lime, Olivier H. Roux
Ensuring the correctness of critical real-time systems, involving concurrent behaviours and timing requirements, is crucial. Timed automata extend finite-state automata with clocks…
cs.LO2025
On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions
Nicolaj Ã. Jensen, Kim G. Larsen, Didier Lime +1
Verification of real-time systems with multiple components controlled by multiple parties is a challenging task due to its computational complexity. We present an on-the-fly algori…