Nicola J. Müller

According to our database, Nicola J. Müller authored at least 4 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Per-Domain Generalizing Policies: On Validation Instances and Scaling Behavior.

Timo P. Gros, Nicola J. Müller, Daniel Fiser, Isabel Valera, Verena Wolf, Jörg Hoffmann

CoRR, May, 2025

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

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2025

2024

Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages.

Timo P. Gros, Nicola J. Müller, Daniel Höller, Verena Wolf

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning - Extended Version.

Timo P. Gros, Joschka Groß, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, Nicola J. Müller, Lukas Schaller, Verena Wolf

ACM Trans. Model. Comput. Simul., October, 2023