Teams of pushdown automata.
Maurice H. ter BeekErzsébet Csuhaj-VarjúVictor MitranaPublished in: Int. J. Comput. Math. (2004)
Keyphrases
- finite state
- cooperative
- model checking
- team members
- probabilistic automata
- cellular automata
- multi agent
- finite state machines
- markov chain
- finite automata
- tree automata
- formal language theory
- lattice gas
- team formation
- team composition
- timed automata
- real world
- robotic soccer
- finite state automata
- regular languages
- pattern matching
- multiscale
- database systems
- search engine