Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox
Julius Adelt, Timm Liebrenz, Paula Herber
Topics & Concepts
Computer scienceReinforcement learningToolboxHybrid systemFlexibility (engineering)ScalabilityModel checkingComponent (thermodynamics)Factory (object-oriented programming)Semantics (computer science)Formal verificationArtificial intelligenceDistributed computingProgramming languageMachine learningMathematicsDatabasePhysicsStatisticsThermodynamicsFormal Methods in VerificationReal-Time Systems SchedulingSoftware Reliability and Analysis Research