Precise Fixpoint Computation Through Strategy Iteration
Abstract elided by the publisher.
Related papers
- Solving systems of rational equations through strategy iteration TOPLAS 2011
- Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks PLDI 2023
- Standard fixpoint iteration for Java bytecode verification TOPLAS 2000
- Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games TACAS 2026
- How to combine widening and narrowing for non-monotonic systems of equations PLDI 2013
- Approximating Fixpoints of Approximated Functions CAV 2025
- Solving Infinite-State Games via Acceleration POPL 2024
- Quasipolynomial Computation of Nested Fixpoints TACAS 2021