Symbolic Polytopes for Quantitative Interpolation and Verification
No abstract available.
Related papers
- Provable Preimage Under-Approximation for Neural Networks TACAS 2024
- Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation CAV 2015
- Interpolants and Symbolic Model Checking VMCAI 2007
- Bit-Precise Interpolation in Bitwuzla TACAS 2026
- Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems TACAS 2006
- Foundations for Entailment Checking in Quantitative Separation Logic ESOP 2022
- Complete instantiation-based interpolation POPL 2013
- Alternating Automata Modulo First Order Theories CAV 2019