Compositionality of Safe Communication in Systems of Team Automata.

Maurice H. ter Beek Rolf Hennicker Jetty Kleijn

Published in: ICTAC (2020)

Keyphrases

genetic algorithm
communication systems
distributed computation
database
data sets
knowledge base
expert systems
mobile robot
computer systems
learning systems
communication technologies
open systems
communication protocols
formal languages