共 50 条
- [1] Formal Verification for Safe Deep Reinforcement Learning in Trajectory Generation [J]. 2020 FOURTH IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2020), 2020, : 352 - 359
- [2] Federated Deep Learning Meets Autonomous Vehicle Perception: Design and Verification [J]. IEEE NETWORK, 2023, 37 (03): : 16 - 25
- [3] TRAINIFY: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning [J]. COMPUTER AIDED VERIFICATION (CAV 2022), PT I, 2022, 13371 : 193 - 218
- [4] Towards Quantitative Verification of Reaction Systems [J]. UNCONVENTIONAL COMPUTATION AND NATURAL COMPUTATION, UCNC 2016, 2016, 9726 : 142 - 154
- [5] Towards Safe Human-Robot Collaboration Using Deep Reinforcement Learning [J]. 2020 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2020, : 4899 - 4905
- [6] Towards Safe Automated Refactoring of Imperative Deep Learning Programs to Graph Execution [J]. 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, 2023, : 1800 - 1802
- [8] Towards Safe Load Balancing based on Control Barrier Functions and Deep Reinforcement Learning [J]. PROCEEDINGS OF 2024 IEEE/IFIP NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM, NOMS 2024, 2024,
- [9] Towards Safe Deep Learning: Accurately Quantifying Biomarker Uncertainty in Neural Network Predictions [J]. MEDICAL IMAGE COMPUTING AND COMPUTER ASSISTED INTERVENTION - MICCAI 2018, PT I, 2018, 11070 : 691 - 699