Login / Signup
Christopher Harper
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 4
Top Topics
Structured Environments
Autonomous Systems
International Standard
Ontological Framework
Top Venues
CoRR
SafeAI@AAAI
ISR
</>
Publications
</>
Maike Schwammberger
,
Christopher Harper
,
Gleifer Vaz Alves
,
Greg Chance
,
Tony Pipe
,
Kerstin Eder
Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process.
CoRR
(2022)
Christopher Harper
,
Greg Chance
,
Abanoub Ghobrial
,
Saquib Alam
,
Tony Pipe
,
Kerstin Eder
Safety Validation of Autonomous Vehicles using Assertion-based Oracles.
CoRR
(2021)
Christopher Harper
,
Praminda Caleb-Solly
Towards an Ontological Framework for Environmental Survey Hazard Analysis of Autonomous Systems.
SafeAI@AAAI
(2021)
Praminda Caleb-Solly
,
Christopher Harper
,
Sanja Dogramadzi
Standards and Regulations for Physically Assistive Robots**Research supported by Lloyds Register Foundation, under the Assuring Antonomy International Programme.
ISR
(2021)