共 50 条
- [1] Safety-Assured Design and Adaptation of Learning-Enabled Autonomous Systems [J]. 2021 26TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2021, : 753 - 760
- [2] Formal Specification for Learning-Enabled Autonomous Systems [J]. SOFTWARE VERIFICATION AND FORMAL METHODS FOR ML-ENABLED AUTONOMOUS SYSTEMS, FOMLAS 2022, NSV 2022, 2022, 13466 : 131 - 143
- [3] Assuring Learning-Enabled Increasingly Autonomous Systems [J]. 2023 IEEE INTERNATIONAL SYSTEMS CONFERENCE, SYSCON, 2023,
- [4] INVITED: Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems [J]. 2018 55TH ACM/ESDA/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2018,
- [5] Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles [J]. 2022 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, ICRA 2022, 2022, : 8978 - 8984
- [7] MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty [J]. Software and Systems Modeling, 2023, 22 : 1543 - 1563
- [8] Certifying Learning-Enabled Autonomous Cyber Physical Systems - A Deployment Perspective [J]. PROCEEDINGS OF THE 37TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, VLSID 2024 AND 23RD INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS, ES 2024, 2024, : 270 - 275
- [9] MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems [J]. 24TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2021), 2021, : 182 - 193
- [10] Design of the Safety Case of the Reinforcement Learning-enabled Component of a Quanser Autonomous Vehicle [J]. 32ND INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REW 2024, 2024, : 57 - 67