Searched for: author%3A%22Coppola%2C+Mario%22
(1 - 1 of 1)
Coppola, Mario (author), Guo, J. (author), Gill, E.K.A. (author), de Croon, G.C.H.E. (author)
In this paper we present a procedure to automatically design and verify the local behavior of robots with highly limited cognition. All robots are: anonymous, homogeneous, non-communicating, memoryless, reactive, do not know their global position, do not have global state information, and operate by a local clock. They only know: (1) the...
journal article 2019