conftrace_

dfa conversion

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

compositional translation (1) abstract syntax tree (1) syntax tree (1) deterministic finite automaton (1) linear temporal logic (1) automata theory (1) formal verification (1) automated reasoning (1)

Papers

Decompositions in Compositional Translation of LTLf to DFA (Student Abstract) AAAI 2024