New Optimizations and Heuristics for Determinization of Büchi Automata.

Christof Löding Anton Pirogov

Published in: ATVA (2019)

Keyphrases

search algorithm
heuristic search
cellular automata
finite automata
tabu search algorithm
real world
multi objective
finite state machines
finite state
probabilistic automata
multi objective evolutionary
neural network
search engine
worst case
regular expressions
lattice gas