Similar Items: One-Clock Priced Timed Games with Negative Weights
- Decidability of One-Clock Weighted Timed Games with Arbitrary Weights
- Model Checking One-clock Priced Timed Automata
- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities
- Model Checking Probabilistic Timed Automata with One or Two Clocks
- Avoiding Shared Clocks in Networks of Timed Automata
- Playing Stochastically in Weighted Timed Games to Emulate Memory