COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking
Dennis C. Gross, Nils Jansen, Sebastian Junges, Guillermo A. Pérez
Topics & Concepts
Reinforcement learningComputer scienceMarkov decision processBenchmark (surveying)Model checkingCallbackProbabilistic logicStormState (computer science)Artificial intelligenceMachine learningMarkov processProgramming languageStatisticsGeodesyGeographyOceanographyMathematicsGeologyAdversarial Robustness in Machine LearningFormal Methods in VerificationReinforcement Learning in Robotics