Similar Items: Avoiding Shared Clocks in Networks of Timed Automata
- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities
- Model Checking One-clock Priced Timed Automata
- Simulations for Event-Clock Automata
- Model Checking Probabilistic Timed Automata with One or Two Clocks
- A Constructive Framework for Nondeterministic Automata via Time-Shared, Depth-Unrolled Feedforward Networks
- One-Clock Priced Timed Games with Negative Weights