conftrace_

predicate abstraction

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

counterexample-guided abstraction refinement (2) safety verification (2) weighted model integration (1) weighted model counting (1) neural network policy (1) probabilistic verification (1) policy verification (1) hybrid domain (1) continuous variable (1) smt solving (1)

Papers

Probabilistic Safety Verification of Neural Policies via Predicate Abstraction AAAI 2026 Neural Policy Safety Verification via Predicate Abstraction: CEGAR AAAI 2023 Efficient Weighted Model Integration via SMT-Based Predicate Abstraction IJCAI 2017