Runtime Verification of Autonomous Driving Systems in CARLA
Eleni Zapridou, Ezio Bartocci, Panagiotis Katsaros
Topics & Concepts
Computer scienceCruise controlRuntime verificationState (computer science)Distributed computingTemporal logicEmbedded systemFormal verificationReal-time computingControl (management)Programming languageArtificial intelligenceFormal Methods in VerificationModel-Driven Software Engineering TechniquesModeling and Simulation Systems