Efficient On-the-Fly Algorithms for the Analysis of Timed Games
Lecture notes in computer science2005pp. 66–80
Citations Over TimeTop 10% of 2005 papers
Related Papers
- → SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability(2018)17 cited
- → Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis(1999)29 cited
- → Discrete reachability of hybrid systems(2003)7 cited
- → Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption(2016)1 cited
- Symbolic Reachability Analysis of Hybrid Systems(2008)