conftrace_

reactive system

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

formal verification (2) specification conformance (1) counter-example guided (1) controller verification (1) automata conversion (1) hybrid symbolic representation (1) finite-state automata (1) constrained horn clause (1) state-space explosion (1) finite automaton (1)

Papers

Reachability Games Modulo Theories with a Bounded Safety Player AAAI 2023 Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications AAAI 2020 Counter-example Guided Learning of Bounds on Environment Behavior CoRL 2019