COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking.

Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Prez

Browse the full SETTA paper archive.