Deep Reinforcement Learning with Temporal Logics
Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate
Topics & Concepts
Reinforcement learningComputer scienceModular designArtificial intelligenceAutomatonTemporal logicLearning automataState (computer science)Linear temporal logicMachine learningTheoretical computer scienceProgramming languageFormal Methods in VerificationAdversarial Robustness in Machine LearningSoftware Testing and Debugging Techniques