Login / Signup
New Optimizations and Heuristics for Determinization of Büchi Automata.
Christof Löding
Anton Pirogov
Published in:
CoRR (2019)
Keyphrases
</>
search algorithm
cellular automata
finite state machines
regular expressions
finite state
heuristic function
greedy heuristics
real world
machine learning
heuristic search
heuristic rules