Emptiness Check of Powerset Buchi Automata using Inclusion Tests.

Souheib Baarir Alexandre Duret-Lutz

Published in: ACSD (2007)

Keyphrases

tree automata
finite state
cellular automata
expressive power
lattice gas
databases
genetic algorithm
learning algorithm
case study
test cases
test suite
finite automata
finite state automata
probabilistic automata