TY  - RPRT
TI  - Towards formal models and languages for verifiable Multi-Robot Systems
AU  - Rocco De Nicola
AU  - Luca Di Stefano
AU  - Omar Inverso
PY  - 2018
DO  - 10.3389/frobt.2018.00094
UR  - https://arxiv.org/abs/1804.08091
ID  - 1804.08091
ER  -