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

@inproceedings{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},
    booktitle = {Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, Proceedings. International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS-2025), August 26-28, Aarhus, Denmark
},
    series = {Lecture Notes in Computer Science (LNCS)},
    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},
    isbn = {978-3-032-05791-4}
}