conftrace_

automata equivalence

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

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