Prof. Dr. Verena Wolf

Head of the Research Department Neuro-Mechanistic Modeling

Contact +49 681 85775 5586 (Saarbrücken)

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

Publications

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, Proceedings. International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS-2025), August 26-28, Aarhus, Denmark, Pages 134-156, Lecture Notes in Computer…
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.