conftrace_

counterexample-guided abstraction refinement

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

predicate abstraction (2) safety verification (2) backward search (1) quantified linear programming (1) policy verification (1) quantified linear constraint (1) boolean relaxation (1) probabilistic verification (1) neural network policy (1) optimal planning (1)

Papers

Probabilistic Safety Verification of Neural Policies via Predicate Abstraction AAAI 2026 CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems AAAI 2024 When CEGAR Meets Regression: A Love Story in Optimal Classical Planning AAAI 2024 Neural Policy Safety Verification via Predicate Abstraction: CEGAR AAAI 2023