TY  - RPRT
TI  - COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking
AU  - Dennis Gross
AU  - Nils Jansen
AU  - Sebastian Junges
AU  - Guillermo A. Perez
PY  - 2022
UR  - https://arxiv.org/abs/2209.07133
ID  - 2209.07133
ER  -