On-the-fly Emptiness Check of Transition-Based Streett Automata.

Alexandre Duret-Lutz Denis Poitrenaud Jean-Michel Couvreur

Published in: ATVA (2009)

Keyphrases

tree automata
cellular automata
regular expressions
probabilistic automata
coalitional games
finite automata
real time
error detection
finite state
hidden markov models
databases
database
dynamic programming
multi agent systems
data structure
optimal solution
learning algorithm
machine learning
regular languages