Publication Date:
2020
Short description:
An Interface for Programming Verifiable Autonomous Agents in {ROS} / Cardoso, Rafael C.; Ferrando, Angelo; Dennis, Louise A.; Fisher, Michael. - 12520:(2020), pp. 191-205. ( 17th European Conference on Multi-Agent Systems, EUMAS 2020, and 7th International Conference on Agreement Technologies, AT 2020 Thessaloniki, Greece SEP 14-15, 2020) [10.1007/978-3-030-66412-1_13].
Iris type:
Relazione in Atti di Convegno
Keywords:
Autonomous agents; High-level decision-making; Model checking; Robotic applications; ROS;
List of contributors:
Cardoso, Rafael C.; Ferrando, Angelo; Dennis, Louise A.; Fisher, Michael
Book title:
MULTI-AGENT SYSTEMS AND AGREEMENT TECHNOLOGIES, EUMAS 2020, AT 2020
Published in: