Similar Items: Reachability and liveness in parametric timed automata
- Parametric updates in parametric timed automata
- Language Preservation Problems in Parametric Timed Automata
- Reachability Problem for Weak Multi-Pushdown Automata
- Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
- Reachability for infinite time Turing machines with long tapes
- Safety and Liveness of Quantitative Properties and Automata