Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges
Noushin Mehdipour, Matthias Althoff, Radboud Duintjer Tebbens, Călin Belta
Topics & Concepts
Computer scienceFormal methodsAbstractionFormal verificationFinite-state machineState (computer science)Software engineeringSoftwareFormal specificationRoboticsArtificial intelligencePerspective (graphical)Focus (optics)Human–computer interactionRobotProgramming languageOpticsPhilosophyPhysicsEpistemologyFormal Methods in VerificationRobotic Path Planning AlgorithmsModel-Driven Software Engineering Techniques