Games through Nested Fixpoints
Abstract elided by the publisher.
Related papers
- Quasipolynomial Computation of Nested Fixpoints TACAS 2021
- Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form CAV 1995
- Fixpoint games on continuous lattices POPL 2019
- Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games TACAS 2026
- A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties CAV 2023
- Solving Infinite-State Games via Acceleration POPL 2024
- Modular Attractor Acceleration in Infinite-State Games TACAS 2026
- Software model checking using languages of nested trees TOPLAS 2011