Automated verification and synthesis of stochastic hybrid systems: A survey
Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani
Topics & Concepts
Computer scienceDimension (graph theory)SoftwareHybrid systemTheoretical computer scienceIndustrial engineeringData scienceMachine learningEngineeringMathematicsProgramming languagePure mathematicsFormal Methods in VerificationSoftware Reliability and Analysis ResearchFuel Cells and Related Materials