Similar Items: Simulations for Event-Clock Automata
- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities
- Avoiding Shared Clocks in Networks of Timed Automata
- Model Checking One-clock Priced Timed Automata
- Model Checking Probabilistic Timed Automata with One or Two Clocks
- Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
- Minimum Reachability Probabilities in Rectangular Automata with Random Clocks