On the expressive power of invariants in parametric timed automata

Étienne André, Didier Lime, Mathias Ramparison

The verification of systems combining hard timing constraints with concurrency is challenging. This challenge becomes even harder when some timing constants are missing or unknown.…