Dieses Ergebnis aus Springer Nature eBooks kann Gästen nicht angezeigt werden. Login für vollen Zugriff.

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

Title:	PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface
Authors:	Gros, Timo P.^{Aff9, Aff10}; Hartmanns, Arnd^Aff11; Hoese, Ivo^Aff10; Meyer, Joshua^{Aff9, Aff10}; Müller, Nicola J.^{Aff9, Aff10}; Wolf, Verena^{Aff9, Aff10}
Contributors:	Goos, Gerhard, Founding Editor^Aff1; Hartmanis, Juris, Founding Editor^Aff2; Bertino, Elisa, Series Editor^Aff3; Gao, Wen, Series Editor^Aff4; Steffen, Bernhard, Series Editor^Aff5; Yung, Moti, Series Editor^Aff6; Prabhakar, Pavithra, editor^Aff7; Vandin, Andrea, editor^Aff8
Source:	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. 16143:134-156
Database:	Springer Nature eBooks