About Me

@inproceedings{mullerPerDomainGeneralizingPoliciesOn2026,
 author = {Müller, Nicola J. and Oster, Moritz and Valera, Isabel and Hoffmann, Jörg and Gros, Timo P.},
 booktitle = {Proceedings of the Thirty-Sixth International Conference on Automated Planning and Scheduling. International Conference on Automated Planning and Scheduling (ICAPS-2026), June 27 - July 2, Dublin, Ireland},
 doi = {10.1609/icaps.v36i1.42889},
 isbn = {ISSN 2334-0843},
 month = {6},
 number = {1},
 pages = {703-707},
 publisher = {AAAI Press},
 title = {Per-Domain Generalizing Policies: On Learning Efficient and Robust Q-Value Functions},
 url = {https://ojs.aaai.org/index.php/ICAPS/article/view/42889},
 volume = {36},
 year = {2026}
}

@inproceedings{mullerTowardAGeneralFramework2026,
 author = {Müller, Nicola J. and Rudolph, Naya and Taitler, Ayal and Gros, Timo P.},
 booktitle = {Workshop on Planning in the Era of LLMs at ICAPS-26},
 title = {Toward a General Framework for Evaluating Per-Domain Generalization Using LLMs, Theorem Provers, and Statistical Model Checking},
 url = {https://openreview.net/pdf?id=MLnzKKBdT4},
 year = {2026}
}

@inproceedings{mullerLearningPerDomainGeneralizingPolicies2025,
 author = {Nicola J. Müller and Moritz Oster and Timo P. Gros},
 booktitle = {Proceedings of the Ninth Workshop on Bridging the Gap Between AI Planning and (Reinforcement) Learning (PRL @ ICAPS 2025). Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL-2025), located at ICAPS'25, November 10, Melbourne, Australia},
 month = {11},
 publisher = {AAAI Press},
 title = {Learning Per-Domain Generalizing Policies Using Offline Reinforcement Learning},
 url = {https://prl-theworkshop.github.io/prl2025-icaps/papers/11.pdf},
 year = {2025}
}

@inproceedings{grosPyDSMCStatisticalModelChecking2025,
 author = {Timo P. Gros and Arnd Hartmanns and Ivo Hoese and Joshua Meyer and Nicola J. Müller and Verena Wolf},
 booktitle = {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},
 doi = {10.1007/978-3-032-05792-1_8},
 editor = {Pavithra Prabhakar and Andrea Vandin},
 isbn = {978-3-032-05791-4},
 month = {10},
 pages = {134-156},
 publisher = {Springer Nature, Switzerland},
 series = {Lecture Notes in Computer Science, LNCS},
 title = {PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface},
 url = {https://link.springer.com/chapter/10.1007/978-3-032-05792-1_8},
 volume = {16143},
 year = {2025}
}

@inproceedings{eniserUsingActionPolicyTestingIn2025,
 author = {Hasan Ferit Eniser and Songtuan Lin and Nicola J. Müller and Anastasia Isychev and Valentin Wüstholz and Isabel Valera and Jörg Hoffmann and Maria Christakis},
 booktitle = {Proceedings of the Eighteenth International Symposium on Combinatorial Search. International Symposium on Combinatorial Search (SoCS-2025), August 12-15, Scotland, United Kingdom},
 doi = {10.1609/socs.v18i1.35990},
 editor = {Maxim Likhachev and Hana Rudová and Enrico Scala},
 isbn = {13 978-1-57735-901-2},
 month = {8},
 pages = {181-185},
 publisher = {AAAI Press, Washington, DC, USA},
 title = {Using Action-Policy Testing in RL to Reduce the Number of Bugs},
 url = {https://ojs.aaai.org/index.php/SOCS/article/view/35990},
 volume = {18},
 year = {2025}
}

@inproceedings{grosPerDomainGeneralizingPoliciesOn2025,
 author = {Timo P. Gros and Nicola J. Müller and Daniel Fiser and Isabel Valera and Verena Wolf and Jörg Hoffmann},
 booktitle = {The 35th International Conference on Automated Planning and Scheduling. International Conference on Automated Planning and Scheduling (ICAPS-2025), November 9-14, Melbourne, Australia},
 publisher = {AAAI Press},
 title = {Per-Domain Generalizing Policies: On Validation Instances and Scaling Behavior},
 url = {https://doi.org/10.5281/zenodo.15314878},
 year = {2025}
}

@misc{mullerComparingStateOfTheArtGraphNeural2024,
 author = {Nicola J. Müller and Pablo Sánchez and Jörg Hoffmann and Verena Wolf and Timo P. Gros},
 booktitle = {ICAPS Workshop on Planning and Reinforcement Learning (PRL)},
 title = {Comparing State-of-the-art Graph Neural Networks and Transformers for General Policy Learning},
 year = {2024}
}

@inproceedings{grosSafeReinforcementLearningThrough2024,
 author = {Timo P. Gros and Nicola J. Müller and Daniel Höller and Verena Wolf},
 booktitle = {Workshop on Reliable Data-Driven Planning and Scheduling. International Conference on Automated Planning and Scheduling (ICAPS-2024)},
 publisher = {Springer},
 title = {Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages},
 year = {2024}
}

@article{grosDSMCEvaluationStagesFostering2023,
 author = {Timo P. Gros and Joschka Groß and Daniel Höller and Jörg Hoffmann and Michaela Klauck and Hendrik Meerkamp and Nicola J. Müller and Lukas Schaller and Verena Wolf},
 doi = {10.1145/3607198},
 journal = {ACM Transactions on Modeling and Computer Simulation (TOMACS)},
 month = {10},
 number = {4},
 pages = {1-28},
 publisher = {ACM, New York, NY, USA},
 title = {DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning--Extended Version},
 volume = {33},
 year = {2023}
}

@article{mullerNeuroExplicitSemanticSegmentationOf2023,
 author = {Nicola J. Müller and Daniel Porawski and Lukas Wilde and Dennis Fink and Guillaume Trap and Annika Engel and Georges P. Schmartz},
 doi = {10.1063/5.0109284},
 editor = {Robert P. Behringer},
 journal = {Review of Scientific Instruments},
 month = {6},
 number = {6},
 pages = {063304},
 publisher = {AIP Publishing},
 title = {Neuro-explicit semantic segmentation of the diffusion cloud chamber},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16919_Neuro-explicit_semantic_segmentation_of_the_diffus.pdf},
 volume = {94},
 year = {2023}
}