Using online verification to prevent autonomous vehicles from causing accidents
Christian Pek, Stefanie Manzinger, Markus Koschi, Matthias Althoff
Topics & Concepts
PlannerTrajectoryComputer scienceComputer securityMotion (physics)Transport engineeringRisk analysis (engineering)SimulationEngineeringArtificial intelligenceBusinessPhysicsAstronomyAutonomous Vehicle Technology and SafetyRobotic Path Planning AlgorithmsFormal Methods in Verification