共 50 条
- [6] Heterogeneous Verification of an Autonomous Curiosity Rover NASA FORMAL METHODS (NFM 2020), 2020, 12229 : 353 - 360
- [7] Updates to the Rover Driving Tools for Curiosity 2013 8TH INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2013, : 147 - 152
- [9] An artificial target location method for curiosity rover SIXTH INTERNATIONAL CONFERENCE ON GRAPHIC AND IMAGE PROCESSING (ICGIP 2014), 2015, 9443