Similar Items: Parametric updates in parametric timed automata
- Reachability and liveness in parametric timed automata
- Language Preservation Problems in Parametric Timed Automata
- Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
- Relational Parametricity and Control
- Parametricity for Nested Types and GADTs
- Relational Parametricity and Separation Logic