Prof. Dr. Verena Wolf

Leiterin des Forschungsbereichs Neuro-mechanistische Modellierung

Kontakt +49 681 85775 5586 (Saarbrücken)

Adresse (Saarbrücken) Gebäude D3 2Stuhlsatzenhausweg 366123 Saarbrücken

Publikationen

PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface
Timo P. Gros; Arnd Hartmanns; Ivo Hoese; Joshua Meyer; Nicola Müller; Verena Wolf
In: Pavithra Prabhakar; Andrea Vandin (Hrsg.). 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, Vol. 16143, Pages 134-156, Springer Nature, Switzerland, 10/2025.
Per-Domain Generalizing Policies: On Validation Instances and Scaling Behavior
Timo P. Gros; Nicola Müller; Daniel Fiser; Isabel Valera; Verena Wolf; Jörg Hoffmann
In: The 35th International Conference on Automated Planning and Scheduling. International Conference on Automated Planning and Scheduling (ICAPS-2025), November 9-14, Melbourne, Australia, AAAI Press, 2025.
Acting for the Right Reasons: Creating Reason-Sensitive Artificial Moral Agents
Kevin Baum; Lisa Dargasz; Felix Jahn; Timo P Gros; Verena Wolf
In: ArXiv e-prints (arxiv), Vol. 1, Pages 1-10, arXiv, 9/2024.