Policy Iteration-Based Conditional Termination and Ranking Functions
No abstract available.
Related papers
- DynamiTe: dynamic termination and non-termination proofs OOPSLA 2020
- Decision Tree Learning in CEGIS-Based Termination Analysis CAV 2021
- Probabilistic Termination: Soundness, Completeness, and Compositionality POPL 2015
- On Multiphase-Linear Ranking Functions CAV 2017
- Run-time Complexity Bounds Using Squeezers ESOP 2021
- Size-Change Termination, Monotonicity Constraints and Ranking Functions CAV 2009
- A SAT-Based Approach to Size Change Termination with Global Ranking Functions TACAS 2008
- Efficient Ranking Function-Based Termination Analysis via Bidirectional Decompositional Search ESOP 2026