conftrace_

constrained horn clause

2 papers

Explore in graph

Also known as

CHC

Co-occurring keywords · papers mentioning both

reactive system (1) first-order predicate logic (1) counterexample guided inductive synthesis (1) predicate logic (1) satisfiability modulo theories (1) reachability game (1) model checking (1) graphical model (1) constraint satisfaction (1) formal verification (1)

Papers

Reachability Games Modulo Theories with a Bounded Safety Player AAAI 2023 Probabilistic Inference for Predicate Constraint Satisfaction AAAI 2020