Similar Items: Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
- Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
- Model Checking One-clock Priced Timed Automata
- Timed Automata Robustness Analysis via Model Checking
- Model Checking Probabilistic Timed Automata with One or Two Clocks
- Analysis of Timed and Long-Run Objectives for Markov Automata
- Model Checking Probabilistic Pushdown Automata