PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface. - Timo P. Gros; Arnd Hartmanns; Ivo Hoese; Joshua Meyer; Nicola J. Müller; Verena Wolf (QEST+FORMATS, 2025)