Robotics and Integrated Formal Methods: Necessity Meets Opportunity (2018)
Attributed to:
Future AI and Robotics Hub for Space (FAIR-SPACE)
funded by
ISCF
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://link.springer.com/chapter/10.1007/978-3-319-98938-9_10#aboutcontent
Type: Conference/Paper/Proceeding/Abstract
Volume: 11023