共 50 条
- [31] PsALM: Specification of Dependable Robotic Missions 2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2019), 2019, : 99 - 102
- [35] Reliability Impact on Planetary Robotic Missions IEEE/RSJ 2010 INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2010), 2010,
- [37] Autonomous optical navigation for interplanetary missions SPACE SCIENCECRAFT CONTROL AND TRACKING IN THE NEW MILLENNIUM, 1996, 2810 : 32 - 43
- [38] Automatic Verification of Autonomous Robot Missions SIMULATION, MODELING, AND PROGRAMMING FOR AUTONOMOUS ROBOTS (SIMPAR 2014), 2014, 8810 : 462 - 473
- [40] Modeling and Execution of Coordinated Missions in Reconfigurable Robot Ensembles 2020 FOURTH IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2020), 2020, : 290 - 293