Citation

If you use PyDSMC in your work, please cite the paper.

Paper

PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface
Timo P. Gros, Arnd Hartmanns, Ivo Hoese, Joshua Meyer, Nicola J. Müller, and Verena Wolf.
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS), pages 134–156, Springer Nature Switzerland, 2025.

• DOI: 10.1007/978-3-032-05792-1_8
• PDF: woshicado.eu/publications/2025/pydsmc/PyDSMC.pdf

PyDSMC builds on Deep Statistical Model Checking (Gros et al., 2020).

BibTeX

Citing the official Version of Record published at QEST 2025:

@inproceedings{grosPyDSMC2025,
  title      = {{{PyDSMC}}: {{Statistical Model Checking}} for~{{Neural Agents Using}} the~{{Gymnasium Interface}}},
  shorttitle = {{{PyDSMC}}},
  booktitle  = {Quantitative {{Evaluation}} of {{Systems}} and {{Formal Modeling}} and {{Analysis}} of {{Timed Systems}}},
  author     = {Gros, Timo P. and Hartmanns, Arnd and Hoese, Ivo and Meyer, Joshua and M{\"u}ller, Nicola J. and Wolf, Verena},
  editor     = {Prabhakar, Pavithra and Vandin, Andrea},
  year       = {2025},
  pages      = {134--156},
  publisher  = {Springer Nature Switzerland},
  address    = {Cham},
  doi        = {10.1007/978-3-032-05792-1_8},
  isbn       = {978-3-032-05792-1},
}