共 50 条
- [12] Assurance for Integrating Advanced Algorithms in Autonomous Safety-Critical Systems IEEE SYSTEMS JOURNAL, 2021, 15 (04): : 4852 - 4863
- [14] Neural Bridge Sampling for Evaluating Safety-Critical Autonomous Systems ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 33, NEURIPS 2020, 2020, 33
- [16] Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (232): : 79 - 90