Safety Science · 2020 · 86 citations · 11 references
ComputingAutonomous SystemsComputer ScienceAutonomous VehiclesRoboticsSystems ModelingAutonomous NavigationModel CheckingNavigation SystemsSimulation MethodsSimulation-based ValidationSystem SimulationAutonomous Vehicle NavigationRobot SimulationSimulation VerificationSimulation-based AnalysisSimulation-based Verification
11