48 citations · 55 across the 3 of their papers we have counts for
3 papers
Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process
Maike Schwammberger, Christopher Harper, Gleifer Vaz Alves +3
Automated Vehicles (AVs) are rapidly maturing in the transportation domain. However, the complexity of the AV design problem is such that no single technique is sufficient to provi…
Safety Validation of Autonomous Vehicles using Assertion Checking
Christopher Harper, Greg Chance, Abanoub Ghobrial +3
Safety and mission performance validation of autonomous vehicles (AVs) is a major challenge. In this paper we describe a methodology for constructing and applying assertion checks…
Towards the Safety of Human-in-the-Loop Robotics: Challenges and Opportunities for Safety Assurance of Robotic Co-Workers
Kerstin Eder, Chris Harper, Ute Leonards
The success of the human-robot co-worker team in a flexible manufacturing environment where robots learn from demonstration heavily relies on the correct and safe operation of the…