Linear Ranking with Reachability
No abstract available.
Related papers
- Ranking and Repulsing Supermartingales for Reachability in Randomized Programs TOPLAS 2021
- Synthesis of Linear Ranking Functions TACAS 2001
- Ranking Templates for Linear Loops TACAS 2014
- A Complete Method for the Synthesis of Linear Ranking Functions VMCAI 2004
- On the Linear Ranking Problem for Simple Floating-Point Loops SAS 2016
- On the linear ranking problem for integer linear-constraint loops POPL 2013
- Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates CAV 2024
- i _\mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants TACAS 2019