共 50 条
- [1] Predicting Autonomous Driving Behavior through Human Factor Considerations in Safety-Critical Events SMART CITIES, 2024, 7 (01): : 460 - 474
- [3] Safety-Critical Optimal Control for Autonomous Systems Journal of Systems Science and Complexity, 2021, 34 : 1723 - 1742
- [5] Gaussian process model of uncertainty in safety-critical autonomous driving 2023 IEEE 26TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, ITSC, 2023, : 4436 - 4442
- [6] Towards Verified Safety-critical Autonomous Driving Scenario with ADSML 2021 IEEE 45TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE (COMPSAC 2021), 2021, : 1333 - 1338
- [7] nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems 2019 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2019,
- [8] A Confidence-based Software Voter for Safety-Critical Systems 2014 IEEE 12TH INTERNATIONAL CONFERENCE ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING (DASC)/2014 IEEE 12TH INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTING (EMBEDDEDCOM)/2014 IEEE 12TH INTERNATIONAL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING (PICOM), 2014, : 196 - 201
- [9] The Safety Filter: A Unified View of Safety-Critical Control in Autonomous Systems ANNUAL REVIEW OF CONTROL ROBOTICS AND AUTONOMOUS SYSTEMS, 2024, 7 : 47 - 72
- [10] Formalisation-Driven Development of Safety-Critical Systems 2016 IEEE 17TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE), 2016, : 165 - 172