Home /Research /Modelling and Verification for Swarm Robotics
SWARM

Modelling and Verification for Swarm Robotics

Ana Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro, Jon Timmis

Year
2018
Citations
10

Keywords

Computer scienceConstruct (python library)Unified Modeling LanguageRobotSwarm roboticsDomain (mathematical analysis)Artificial intelligenceContext (archaeology)Diagrammatic reasoningRobotics

Related papers

Browse all SWARM papers