Data di Pubblicazione:
2020
Citazione:
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].
Tipologia CRIS:
Relazione in Atti di Convegno
Keywords:
Autonomous agents; High-level decision-making; Model checking; Robotic applications; ROS;
Elenco autori:
Cardoso, Rafael C.; Ferrando, Angelo; Dennis, Louise A.; Fisher, Michael
Link alla scheda completa:
Titolo del libro:
MULTI-AGENT SYSTEMS AND AGREEMENT TECHNOLOGIES, EUMAS 2020, AT 2020
Pubblicato in: