Integrating Formal Verification and Assurance: An Inspection Rover Case Study
Attributed to:
Future AI and Robotics Hub for Space (FAIR-SPACE)
funded by
ISCF
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-76384-8_4
Publication URI: http://dx.doi.org/10.1007/978-3-030-76384-8_4
Type: Book Chapter
Book Title: NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings (2021)
Page Reference: 53-71
ISSN: 2193-9616