conftrace_

automata conversion

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

hybrid symbolic representation (1) finite-state automata (1) state-space explosion (1) reactive system (1) finite automaton (1) symbolic representation (1) reactive synthesis (1) ltlf synthesis (1)

Papers

Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications AAAI 2020