Temporal logic guided safe model-based reinforcement learning: A hybrid systems approach
M. Cohen, Zachary Serlin, Kevin Leahy, Călin Belta
Topics & Concepts
Reinforcement learningLeverage (statistics)Computer scienceAutomatonHybrid automatonBellman equationConvergence (economics)Nonlinear systemAbstractionOptimal controlFunction (biology)Linear temporal logicHybrid systemArtificial intelligenceMathematical optimizationTheoretical computer scienceMathematicsMachine learningEconomicsEvolutionary biologyQuantum mechanicsBiologyEpistemologyPhilosophyEconomic growthPhysicsAdaptive Dynamic Programming ControlMechanical Circulatory Support DevicesReinforcement Learning in Robotics