Towards an Ontological Framework for Environmental Survey Hazard Analysis of Autonomous Systems. - Christopher Harper; Praminda Caleb-Solly (SafeAI@AAAI, 2021)

Standards and Regulations for Physically Assistive Robots**Research supported by Lloyds Register Foundation, under the Assuring Antonomy International Programme. - Praminda Caleb-Solly; Christopher Harper; Sanja Dogramadzi (ISR, 2021)

Safety Validation of Autonomous Vehicles using Assertion-based Oracles. - Christopher Harper; Greg Chance; Abanoub Ghobrial; Saquib Alam; Tony Pipe; Kerstin Eder (CoRR, 2021)

Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process. - Maike Schwammberger; Christopher Harper; Gleifer Vaz Alves; Greg Chance; Tony Pipe; Kerstin Eder (CoRR, 2022)