An Interface for Programming Verifiable Autonomous Agents in ROS
Attributed to:
Robotics and Artificial Intelligence for Nuclear (RAIN)
funded by
ISCF
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-66412-1_13
Publication URI: http://dx.doi.org/10.1007/978-3-030-66412-1_13
Type: Book Chapter
Book Title: 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 (2020)
Page Reference: 191-205