Inferring Min and Max Invariants Using Max-Plus Polyhedra
Abstract elided by the publisher.
Related papers
- Max-Policy Iteration, Revisited ESOP 2026
- Forward Reachability Computation for Autonomous Max-Plus-Linear Systems TACAS 2014
- Lower-Bound Synthesis Using Loop Specialization and Max-SMT CAV 2021
- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring TACAS 2021
- Logico-Numerical Max-Strategy Iteration VMCAI 2013
- Proving Non-termination Using Max-SMT CAV 2014
- A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis CAV 2008
- Global Data Flow Analysis Problems Arising in Locally Least-Cost Error Recovery TOPLAS 1984