A Calculus for Team Automata.

Maurice H. ter Beek Fabio Gadducci Dirk Janssens

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

timed automata
team members
cellular automata
finite automata
probabilistic automata
robot soccer
finite state
neural network
model checking
real numbers
automated theorem proving
databases
information technology
mobile robot
theorem prover
tree automata