Similar Items: Timed Automata Robustness Analysis via Model Checking
- Model Checking One-clock Priced Timed Automata
- Model Checking Probabilistic Timed Automata with One or Two Clocks
- Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
- Model Checking Probabilistic Pushdown Automata
- Antichains for the Automata-Based Approach to Model-Checking
- Model-Checking of Ordered Multi-Pushdown Automata