Knowledge in multi-robot systems: an interplay of dynamics, computation and communication

Giorgio Cignarale, Stephan Felber, Eric Goubault +2

In this paper, we provide a framework integrating distributed multi-robot systems and temporal epistemic logic. We show that continuous-discrete hybrid systems are compatible with…