Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher 0001. An Interface for Programming Verifiable Autonomous Agents in ROS. In Nick Bassiliades, Georgios Chalkiadakis, Dave De Jonge, editors, Multi-Agent Systems and Agreement Technologies - 17th European Conference, EUMAS 2020, and 7th International Conference, AT 2020, Thessaloniki, Greece, September 14-15, 2020, Revised Selected Papers. Volume 12520 of Lecture Notes in Computer Science, pages 191-205, Springer, 2020. [doi]
Abstract is missing.