%0 Generic %1 data/10/GrosHKK21 %A Gros, Timo P. %A Hermanns, Holger %A Klauck, Michaela %A Köhl, Maximilian A. %D 2021 %I Zenodo %K dblp %T Artifact of "MoGym: Using Formal Models for Training and Verifying Decision Agents".

@data{data/10/GrosHKK21, added-at = {2024-07-19T00:00:00.000+0200}, author = {Gros, Timo P. and Hermanns, Holger and Klauck, Michaela and Köhl, Maximilian A.}, biburl = {https://www.bibsonomy.org/bibtex/20a1df347b921967db26e1d62578cc0ea/dblp}, ee = {https://doi.org/10.5281/zenodo.5643442}, interhash = {f06f08188ada43e51fb3e3dab5f0400e}, intrahash = {0a1df347b921967db26e1d62578cc0ea}, keywords = {dblp}, month = {November}, publisher = {Zenodo}, timestamp = {2024-07-22T07:21:20.000+0200}, title = {Artifact of "MoGym: Using Formal Models for Training and Verifying Decision Agents".}, year = 2021 }