Publications
Filter by author: all ■ Daniel Höller ■ Marcel Schubert ■ Jonas Kück ■ Magnus CunowFilter by topic: all ■ model ■ solve ■ trust ■ other topics
2026
| ■ | [23] | Marcel Schubert and Daniel Höller: Safety Verification of Additive Tree Ensemble Policies via Symbolic Search. Proceedings of the ICAPS Workshop on Reliability In Planning and Learning (RIPL), 2026 (PDF, BibTeX) |
2024
| ■ | [22] | Jan Eisenhut, Xandra Schuler, Daniel Fišer, Daniel Höller, Maria Christakis, and Jörg Hoffmann: New Fuzzing Biases for Action Policy Testing. Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS), 2024: 162–167 (PDF, BibTeX) |
| ■ | [21] | Marcel Steinmetz, Sylvie Thiébaux, Daniel Höller, and Florent Teichteil-Königsbuch: Explaining the Space of SSP Policies via Policy-Property Dependencies: Complexity, Algorithms, and Relation to Multi-Objective Planning. Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS), 2024: 555–564 (PDF, BibTeX) |
| ■ | [20] | Timo P. Gros, Nicola J. Müller, Daniel Höller, and Verena Wolf: Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages. Principles of Verification: Cycling the Probabilistic Landscape 2024: 18–38 (PDF, BibTeX) |
| ■ | [19] | Timo P. Gros, Nicola J. Müller, Daniel Höller, and Verena Wolf: Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages. Proceedings of the ICAPS workshop on Reliable Data-Driven Planning and Scheduling (RDDPS), 2024 (PDF, BibTeX) |
2023
| ■ | [18] | Daniel Höller: Hierarchical Planning – Expressivity Analysis, Solving Techniques, and Problem Compilations. Dissertation Thesis, Ulm University, 2023, ICAPS Best Dissertation Award 2024 (PDF, BibTeX) |
| ■ | [17] | Timo P. Gros, Joschka Groß, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, Nicola J. Müller, Lukas Schaller, and Verena Wolf: DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning – Extended Version. ACM Transactions on Modeling and Computer Simulation (2023) (PDF, BibTeX) |
| ■ | [16] | Xandra Schuler, Jan Eisenhut, Daniel Höller, Daniel Fišer, and Jörg Hoffmann: Action Policy Testing with Heuristic-Based Bias Functions. Proceedings of the 2nd ICAPS Workshop on Reliable Data-Driven Planning and Scheduling (RDDPS), 2023 (PDF, BibTeX) |
2022
| ■ | [15] | Daniel Höller, Julia Wichlacz, Pascal Bercher, and Gregor Behnke: Compiling HTN Plan Verification Problems into HTN Planning Problems. Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS), 2022: 145–150 (PDF, BibTeX) |
| ■ | [14] | Marcel Steinmetz, Daniel Fišer, Hasan Ferit Eniser, Patrick Ferber, Timo P. Gros, Philippe Heim, Daniel Höller, Xandra Schuler, Valentin Wüstholz, Maria Christakis, and Jörg Hoffmann: Debugging a Policy: Automatic Action-Policy Testing in AI Planning. Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS), 2022: 353–361 (PDF, BibTeX) |
2021
| ■ | [13] | Timo P. Gros, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, and Verena Wolf: DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning. Proceedings of the 18th International Conference on Quantitative Evaluation of SysTems (QEST), 2021: 197–216 (BibTeX) |
| ■ | [12] | Daniel Höller, Julia Wichlacz, Pascal Bercher, and Gregor Behnke: Compiling HTN Plan Verification Problems into HTN Planning Problems. Proceedings of the 4th ICAPS Workshop on Hierarchical Planning (HPlan), 2021 (PDF, BibTeX) |
| ■ | [11] | Marcel Steinmetz, Timo P. Gros, Philippe Heim, Daniel Höller, and Jörg Hoffmann: Debugging a Policy: A Framework for Automatic Action Policy Testing. Proceedings of the ICAPS Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL), 2021 (PDF, BibTeX) |
2020
| ■ | [10] | Arne Köhn, Julia Wichlacz, Álvaro Torralba, Daniel Höller, Jörg Hoffmann, and Alexander Koller: Generating Instructions at Different Levels of Abstraction. Proceedings of the 28th International Conference on Computational Linguistics (COLING), 2020: 2802–2813 (PDF, BibTeX) |
2018
| ■ | [9] | Benedikt Leichtmann, Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo, Verena Nitsch, and Martin Baumann: Towards a Companion System Incorporating Human Planning Behavior – A Qualitative Analysis of Human Strategies. Proceedings of the 3rd Transdisciplinary Conference on Support Technologies (TCST), 2018, Best Paper Award (PDF, BibTeX) |
| ■ | [8] | Pascal Bercher, Felix Richter, Frank Honold, Florian Nielsen, Felix Schüssel, Thomas Geier, Thilo Hörnle, Stephan Reuter, Daniel Höller, Gregor Behnke, Michael Weber, Klaus Dietmayer, Wolfgang Minker, and Susanne Biundo: A Companion-System Architecture for Realizing Individualized and Situation-Adaptive User Assistance. (Technical Report), 2018 (PDF, BibTeX) |
2017
| ■ | [7] | Gregor Behnke, Benedikt Leichtmann, Pascal Bercher, Daniel Höller, Verena Nitsch, Martin Baumann, and Susanne Biundo: Help me make a dinner! Challenges when assisting humans in action planning. Proceedings of the 2nd International Conference on Companion Technology (ICCT), 2017 (PDF, BibTeX) |
| ■ | [6] | Gregor Behnke, Daniel Höller, and Susanne Biundo: This is a solution! (... but is it though?) – Verifying solutions of hierarchical planning problems. Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS), 2017: 20–28 (PDF, BibTeX) |
| ■ | [5] | Pascal Bercher, Daniel Höller, Gregor Behnke, and Susanne Biundo: User-Centered Planning. Companion Technology – A Paradigm Shift in Human-Technology Interaction 2017: 79–100 (PDF, BibTeX) |
| ■ | [4] | Pascal Bercher, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nielsen, Frank Honold, Felix Schüssel, Stephan Reuter, Wolfgang Minker, Michael Weber, Klaus Dietmayer, and Susanne Biundo: Advanced User Assistance for Setting Up a Home Theater. Companion Technology – A Paradigm Shift in Human-Technology Interaction 2017: 485–491 (PDF, BibTeX) |
2015
| ■ | [3] | Pascal Bercher, Daniel Höller, Gregor Behnke, and Susanne Biundo: User-Centered Planning – A Discussion on Planning in the Presence of Human Users. Proceedings of the 1st International Symposium on Companion Technology (ISCT), 2015: 79-82 (PDF, BibTeX) |
| ■ | [2] | Pascal Bercher, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nothdurft, Frank Honold, Wolfgang Minker, Michael Weber, and Susanne Biundo: A Planning-based Assistance System for Setting Up a Home Theater. Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI), 2015: 4264-4265 (PDF, BibTeX) |
2014
| ■ | [1] | Daniel Höller, Pascal Bercher, Felix Richter, Marvin Schiller, Thomas Geier, and Susanne Biundo: Finding User-friendly Linearizations of Partially Ordered Plans. Proceedings of the 28th PuK Workshop ''Planen, Scheduling und Konfigurieren, Entwerfen'' (PuK), 2014 (PDF, BibTeX) |