 Reachability Verification Based Reliability Assessment for Deep
Reinforcement Learning Controlled Robotics and Autonomous SystemsIEEE Robotics and Automation Letters (RA-L), 2022 |
 |
 Symbiotic System of Systems Design for Safe and Resilient Autonomous
Robotics in Offshore Wind FarmsIEEE Access (IEEE Access), 2021 |
 A Safety Framework for Critical Systems Utilising Deep Neural NetworksInternational Conference on Computer Safety, Reliability, and Security (SAFECOMP), 2020 |
