首页 /研究 /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

发表年份
2018
引用次数
10

关键词

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

相关论文

查看 SWARM 分类全部论文