Similar Items: Real-Time Model-Checking: Parameters everywhere
- Model Checking One-clock Priced Timed Automata
- Timed Automata Robustness Analysis via Model Checking
- Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
- Model Checking Probabilistic Timed Automata with One or Two Clocks
- Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems
- Using models to model-check recursive schemes