Similar Items: Language Preservation Problems in Parametric Timed Automata
- Parametric updates in parametric timed automata
- Reachability and liveness in parametric timed automata
- Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
- Cost Preserving Bisimulations for Probabilistic Automata
- Stochastic Timed Automata
- Reachability Problem for Weak Multi-Pushdown Automata