Skip to main content

1 article related to "Specification Languages"

No matches to your query could be found. Try another search term.
No matches to your query could be found. Try another search term.
No matches to your query could be found. Try another search term.
No matches to your query could be found. Try another search term.
No matches to your query could be found. Try another search term.

Articles

Review

Published on 05 Sep 2018

Toward Formal Models and Languages for Verifiable Multi-Robot Systems

in Multi-Robot Systems

Rocco De Nicola
Luca Di Stefano
Omar Inverso

Frontiers in Robotics and AI

doi 10.3389/frobt.2018.00094

6,761 views
14 citations