Login / Signup
Towards formal models and languages for verifiable Multi-Robot Systems.
Rocco De Nicola
Luca Di Stefano
Omar Inverso
Published in:
CoRR (2018)
Keyphrases
</>
formal models
multi robot systems
multi robot
rule based systems
process model
multiple robots
mobile robot
formal model
autonomous robots
multi agent
path planning
video sequences
knowledge based systems