6 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.SE2022★ 1 cited
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…
cs.DB2021★ 6 cited
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…