C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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