Login / Signup
Shortest Characteristic Factors of a Deterministic Finite Automaton and Computing Its Positive Position Run by Pattern Set Matching.
Jan Janousek
Stepán Plachý
Published in:
SOFSEM (2024)
Keyphrases
</>
deterministic finite automaton
pattern set
frequent patterns
ordered binary decision diagrams
model checking
learning algorithm
combinatorial problems