Logico-Numerical Max-Strategy Iteration
No abstract available.
Related papers
- Speeding Up Logico-Numerical Strategy Iteration SAS 2014
- Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs SAS 2011
- Max-Policy Iteration, Revisited ESOP 2026
- Program Analysis with Local Policy Iteration VMCAI 2016
- A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis CAV 2008
- Verifying Numerical Programs via Iterative Abstract Testing SAS 2019
- Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis ESOP 2010
- Solving Infinite-State Games via Acceleration POPL 2024