PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface

@article{pub16925,
    author = {

Gros, Timo P.
 and 

Hartmanns, Arnd
 and 

Hoese, Ivo
 and 

Meyer, Joshua
 and 

Müller, Nicola
 and 

Wolf, Verena
},
    editor = {

Prabhakar, Pavithra
 and 

Vandin, Andrea
},
    title = {PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface},
    year = {2025},
    month = {10},
    volume = {16143},
    pages = {134--156},
    journal = {Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+ FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings},
    publisher = {Springer Nature}
}