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…