Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges
Xiang Yin, Bingzhao Gao, Xiao Yu
Topics & Concepts
Computer scienceFormal methodsAbstractionFormal verificationScalabilityTheoretical computer scienceSoftware engineeringDistributed computingPhilosophyEpistemologyDatabaseFormal Methods in VerificationModel-Driven Software Engineering TechniquesAdvanced Software Engineering Methodologies