Christopher Harper

According to our database, Christopher Harper authored at least 4 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

2021

Safety Validation of Autonomous Vehicles using Assertion-based Oracles.

Christopher Harper, Greg Chance, Abanoub Ghobrial, Saquib Alam, Tony Pipe, Kerstin Eder

CoRR, 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

Proceedings of the IEEE International Conference on Intelligence and Safety for Robotics, 2021

Towards an Ontological Framework for Environmental Survey Hazard Analysis of Autonomous Systems.

Christopher Harper, Praminda Caleb-Solly

Proceedings of the Workshop on Artificial Intelligence Safety 2021 (SafeAI 2021) co-located with the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021), 2021