An Interface for Programming Verifiable Autonomous Agents in {ROS} / Cardoso, Rafael C.; Ferrando, Angelo; Dennis, Louise A.; Fisher, Michael. - 12520:(2020), pp. 191-205. (Intervento presentato al convegno 17th European Conference on Multi-Agent Systems, EUMAS 2020, and 7th International Conference on Agreement Technologies, AT 2020 tenutosi a Thessaloniki, Greece nel SEP 14-15, 2020) [10.1007/978-3-030-66412-1_13].

An Interface for Programming Verifiable Autonomous Agents in {ROS}

Angelo Ferrando;
2020
2020
17th European Conference on Multi-Agent Systems, EUMAS 2020, and 7th International Conference on Agreement Technologies, AT 2020
Thessaloniki, Greece
SEP 14-15, 2020
WOS:001061436400013
2-s2.0-85101366960
12520
191
205
Cardoso, Rafael C.; Ferrando, Angelo; Dennis, Louise A.; Fisher, Michael
An Interface for Programming Verifiable Autonomous Agents in {ROS} / Cardoso, Rafael C.; Ferrando, Angelo; Dennis, Louise A.; Fisher, Michael. - 12520:(2020), pp. 191-205. (Intervento presentato al convegno 17th European Conference on Multi-Agent Systems, EUMAS 2020, and 7th International Conference on Agreement Technologies, AT 2020 tenutosi a Thessaloniki, Greece nel SEP 14-15, 2020) [10.1007/978-3-030-66412-1_13].
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/1331850
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 9
  • ???jsp.display-item.citation.isi??? 11
social impact