Infinite Games and Verification (Extended Abstract of a Tutorial)
Abstract elided by the publisher.
Related papers
- Invited Tutorial: Verification of Infinite-State and Parameterized Systems CAV 2000
- HORNSAT, Model Checking, Verification and games (Extended Abstract) CAV 1996
- Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract) CAV 1996
- A constraint-based approach to solving games on infinite graphs POPL 2014
- Solving Infinite-State Games via Acceleration POPL 2024
- Localized Attractor Computations for Infinite-State Games CAV 2024
- Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games CAV 2024
- Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems CAV 2025