Speeding Up Logico-Numerical Strategy Iteration
No abstract available.
Related papers
- Logico-Numerical Max-Strategy Iteration VMCAI 2013
- Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs SAS 2011
- Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks PLDI 2023
- Learning fast and precise numerical analysis PLDI 2020
- 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
- Fast Numerical Program Analysis with Reinforcement Learning CAV 2018
- Solving Infinite-State Games via Acceleration POPL 2024