%0 Generic %1 data/10/GrosHHKKW22 %A Gros, Timo P. %A Hermanns, Holger %A Hoffmann, Jörg %A Klauck, Michaela %A Köhl, Maximilian A. %A Wolf, Verena %D 2022 %I Zenodo %K dblp %T Artifact for the Tool Paper: MoGym: Using Formal Models for Training and Verifying Decision-making Agents.

@data{data/10/GrosHHKKW22, added-at = {2024-07-19T00:00:00.000+0200}, author = {Gros, Timo P. and Hermanns, Holger and Hoffmann, Jörg and Klauck, Michaela and Köhl, Maximilian A. and Wolf, Verena}, biburl = {https://www.bibsonomy.org/bibtex/2f2ebd48ab2a10e180436378c1e6543ac/dblp}, ee = {https://doi.org/10.5281/zenodo.6510840}, interhash = {b4efbd97fccac7415985e86909cd5a90}, intrahash = {f2ebd48ab2a10e180436378c1e6543ac}, keywords = {dblp}, month = May, publisher = {Zenodo}, timestamp = {2024-07-22T07:21:13.000+0200}, title = {Artifact for the Tool Paper: MoGym: Using Formal Models for Training and Verifying Decision-making Agents.}, year = 2022 }