conftrace_

finite-state automata

2 papers

Explore in graph

Also known as

FSA

Co-occurring keywords · papers mentioning both

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

Papers

Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications AAAI 2020 Partially-Supervised Image Captioning NeurIPS 2018