Similar Items: Antichains for the Automata-Based Approach to Model-Checking
- Correct and Efficient Antichain Algorithms for Refinement Checking
- Model Checking Probabilistic Pushdown Automata
- Model-Checking of Ordered Multi-Pushdown Automata
- Model Checking One-clock Priced Timed Automata
- Timed Automata Robustness Analysis via Model Checking
- Model Checking Probabilistic Timed Automata with One or Two Clocks