Simplifying Alternating Automata for Emptiness Testing.

Pavol Vargovcík Lukás Holík

Published in: APLAS (2021)

Keyphrases

cellular automata
finite automata
tree automata
computer vision
real world
test set
test cases
software testing
database
data sets
genetic algorithm
artificial intelligence
knowledge base
relational databases
evolutionary algorithm
turing machine