共 50 条
- [1] Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (232): : 79 - 90
- [3] Safety-critical Control of Quadrupedal Robots with Rolling Arms for Autonomous Inspection of Complex Environments 2024 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, ICRA 2024, 2024, : 3485 - 3491
- [4] Visibility-Aware RRT* for Safety-Critical Navigation of Perception-Limited Robots in Unknown Environments IEEE ROBOTICS AND AUTOMATION LETTERS, 2025, 10 (05): : 4508 - 4515
- [5] Telepresence for mobile robots in nuclear environments TELEMANIPULATOR AND TELEPRESENCE TECHNOLOGIES III, 1996, 2901 : 167 - 176
- [7] Dynamic Reconfiguration of Safety-Critical Production Systems 2020 IEEE 25TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2020), 2020, : 120 - 129