| 2025 | ICAPS | Per-Domain Generalizing Policies: On Validation Instances and Scaling Behavior. | Timo P. Gros, Nicola J. Mller, Daniel Fiser, Isabel Valera, Verena Wolf, Jrg Hoffmann |
| 2022 | CAV | MoGym: Using Formal Models for Training and Verifying Decision-making Agents. | Timo P. Gros, Holger Hermanns, Jrg Hoffmann, Michaela Klauck, Maximilian A. Khl, Verena Wolf |
| 2021 | GI | InfoLab Saar - Schlerlabor Informatik der Universitt des Saarlandes. | Nadine Kirsch, Kerstin Reese, Verena Wolf |
| 2021 | TACAS | Analysis of Markov Jump Processes under Terminal Constraints. | Michael Backenkhler, Luca Bortolussi, Gerrit Gromann, Verena Wolf |
| 2020 | WSC | Real-Time Decision Making for a Car Manufacturing Process Using Deep Reinforcement Learning. | Timo P. Gros, Joschka Gro, Verena Wolf |
| 2018 | EDM | Data-Driven Approach Towards a Personalized Curriculum. | Michael Backenkhler, Felix Scherzinger, Adish Singla, Verena Wolf |
| 2018 | ICIS | The Impact of Process Automation on Manufacturers' Long-Term Knowledge. | Chris C. Gernreich, Christian Bartelheimer, Verena Wolf, Christopher Prinz |
| 2017 | SEFM | Student Performance Prediction and Optimal Course Selection: An MDP Approach. | Michael Backenkhler, Verena Wolf |
| 2017 | WI | Recombinant Service System Engineering. | Daniel Beverungen, Hedda Lttenberg, Verena Wolf |
| 2011 | CAV | Parameter Identification for Markov Models of Biochemical Reactions. | Aleksandr Andreychenko, Linar Mikeev, David Spieler, Verena Wolf |
| 2009 | CAV | Sliding Window Abstraction for Infinite Markov Chains. | Thomas A. Henzinger, Maria Mateescu, Verena Wolf |
| 2008 | CONCUR | Abstraction for Stochastic Systems by Erlang's Method of Stages. | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf |
| 2007 | CAV | Three-Valued Abstraction for Continuous-Time Markov Chains. | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf |
| 2006 | Coordination | Stochastic Reasoning About Channel-Based Component Connectors. | Christel Baier, Verena Wolf |
| 2003 | CONCUR | Comparative Branching-Time Semantics. | Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf |