共 50 条
- [1] Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (232): : 79 - 90
- [3] Telepresence for mobile robots in nuclear environments TELEMANIPULATOR AND TELEPRESENCE TECHNOLOGIES III, 1996, 2901 : 167 - 176
- [5] Dynamic Reconfiguration of Safety-Critical Production Systems 2020 IEEE 25TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2020), 2020, : 120 - 129
- [10] Safety-Critical Stabilization of Force-Controlled Nonholonomic Mobile Robots IEEE Control Systems Letters, 2024, 8 : 2469 - 2474