Certified reinforcement learning with logic guidance
Hosein Hasanbeig, Daniel Kroening, Alessandro Abate
Topics & Concepts
Reinforcement learningComputer scienceMarkov decision processVariety (cybernetics)AutomatonArtificial intelligenceLinear temporal logicTemporal logicQ-learningProperty (philosophy)Theoretical computer scienceState (computer science)Machine learningMarkov processProgramming languageMathematicsPhilosophyEpistemologyStatisticsFormal Methods in VerificationReinforcement Learning in RoboticsAdvanced Software Engineering Methodologies