Rocco De Nicola, Luca Di Stefano, Omar Inverso. Toward Formal Models and Languages for Verifiable Multi-Robot Systems. Front. Robotics and AI, 2018:94, 2018. [doi]
@article{NicolaSI18,
title = {Toward Formal Models and Languages for Verifiable Multi-Robot Systems},
author = {Rocco De Nicola and Luca Di Stefano and Omar Inverso},
year = {2018},
doi = {10.3389/frobt.2018.00094},
url = {https://doi.org/10.3389/frobt.2018.00094},
researchr = {https://researchr.org/publication/NicolaSI18},
cites = {0},
citedby = {0},
journal = {Front. Robotics and AI},
volume = {2018},
pages = {94},
}