Heterogeneous Verification of an Autonomous Curiosity Rover

First Author: Cardoso R
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-55754-6_20

Publication URI: http://dx.doi.org/10.1007/978-3-030-55754-6_20

Type: Book Chapter

Book Title: NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings (2020)

Page Reference: 353-360

ISSN: 1015-1621