Toward Formal Models and Languages for Verifiable Multi-Robot Systems.

Rocco De Nicola Luca Di Stefano Omar Inverso

Published in: Frontiers Robotics AI (2018)

Keyphrases

formal models
multi robot systems
multi robot
formal model
rule based systems
process model
autonomous robots
mobile robot
multiple robots
multi agent
path planning
control system
error rate
multi robot task allocation