Model-Checking Iterated Games
No abstract available.
Related papers
- Quasipolynomial Computation of Nested Fixpoints TACAS 2021
- Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games TACAS 2026
- Pushdown Processes: Games and Model Checking CAV 1996
- Practical Model-Checking Using Games TACAS 1998
- MetaGame: An Animation Tool for Model-Checking Games TACAS 2004
- On-the-Fly Techniques for Game-Based Software Model Checking TACAS 2008
- HORNSAT, Model Checking, Verification and games (Extended Abstract) CAV 1996
- Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm CAV 2018