Teams of Pushdown Automata.
Maurice H. ter BeekErzsébet Csuhaj-VarjúVictor MitranaPublished in: Ershov Memorial Conference (2003)
Keyphrases
- finite state
- model checking
- team members
- cellular automata
- finite automata
- cooperative
- lattice gas
- multi agent
- finite state machines
- probabilistic automata
- timed automata
- team formation
- globally distributed
- regular expressions
- temporal logic
- multiscale
- database
- automata theoretic
- tree automata
- markov chain
- robotic soccer
- crisis management
- hidden markov models
- search engine
- formal language theory
- learning algorithm