conftrace_

automaton equivalence

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

nondeterministic finite automaton (1) automata equivalence (1) pspace completeness (1) quantified boolean formula (1) formal verification (1)

Papers

Toward Determining NFA Equivalence via QBFs (Student Abstract) AAAI 2021