| 2026 | AAAI | Probabilistic Safety Verification of Neural Policies via Predicate Abstraction. | Marcel Vinzent, Holger Hermanns, Jrg Hoffmann |
| 2025 | ECAI | An Operator-Centric Trustable Decision-Making Tool for Planning Ground Logistic Operations of Beluga Aircraft. | Rebecca Eifler, Nika Beriachvili, Arthur Bit-Monnot, Dillon Z. Chen, Jan Eisenhut, Jrg Hoffmann, Sylvie Thibaux, Florent Teichteil-Knigsbuch |
| 2025 | ECAI | Is This a Good Decision? Action Optimality Checking in Classical Planning. | Jan Eisenhut, Daniel Fiser, Wheeler Ruml, Jrg Hoffmann |
| 2025 | ECAI | Policy Safety Testing in Non-Deterministic Planning: Fuzzing, Test Oracles, Fault Analysis. | Chaahat Jain, Daniel Sherbakov, Marcel Vinzent, Marcel Steinmetz, Jesse Davis, Jrg Hoffmann |
| 2025 | ICAPS | On Picking Good Policies: Leveraging Action-Policy Testing in Policy Training. | Jan Eisenhut, Daniel Fiser, Isabel Valera, Jrg Hoffmann |
| 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 |
| 2025 | ICAPS | Continuing the Quest for Polynomial Time Heuristics in PDDL Input Size: Tractable Cases for Lifted hᵃᵈᵈ. | Pascal Lauer, lvaro Torralba, Daniel Hller, Jrg Hoffmann |
| 2025 | ICAPS | Automating the Generation of Prompts for LLM-based Action Choice in PDDL Planning. | Katharina Stein, Daniel Fiser, Jrg Hoffmann, Alexander Koller |
| 2025 | SoCS | Using Action-Policy Testing in RL to Reduce the Number of Bugs. | Hasan Ferit Eniser, Songtuan Lin, Nicola J. Mller, Anastasia Isychev, Valentin Wstholz, Isabel Valera, Jrg Hoffmann, Maria Christakis |
| 2024 | ECAI | Iterative Oversubscription Planning with Goal-Conflict Explanations: Scaling Up Through Policy-Guidance Approximation. | Rebecca Eifler, Daniel Fiser, Aleena Siji, Jrg Hoffmann |
| 2024 | ECAI | Safety Verification of Tree-Ensemble Policies via Predicate Abstraction. | Chaahat Jain, Lorenzo Cascioli, Laurens Devos, Marcel Vinzent, Marcel Steinmetz, Jesse Davis, Jrg Hoffmann |
| 2024 | ECAI | Decision-Focused Learning to Predict Action Costs for Planning. | Jayanta Mandi, Marco Foschini, Daniel Hller, Sylvie Thibaux, Jrg Hoffmann, Tias Guns |
| 2024 | ICAPS | New Fuzzing Biases for Action Policy Testing. | Jan Eisenhut, Xandra Schuler, Daniel Fiser, Daniel Hller, Maria Christakis, Jrg Hoffmann |
| 2024 | ICAPS | Neural Action Policy Safety Verification: Applicablity Filtering. | Marcel Vinzent, Jrg Hoffmann |
| 2024 | IJCAI | Guiding GBFS through Learned Pairwise Rankings. | Mingyu Hao, Felipe W. Trevizan, Sylvie Thibaux, Patrick Ferber, Jrg Hoffmann |
| 2023 | AAAI | Neural Policy Safety Verification via Predicate Abstraction: CEGAR. | Marcel Vinzent, Siddhant Sharma, Jrg Hoffmann |
| 2023 | ECAI | A Landmark-Cut Heuristic for Lifted Optimal Planning. | Julia Wichlacz, Daniel Hller, Daniel Fiser, Jrg Hoffmann |
| 2023 | IJCAI | Specifying and Testing k-Safety Properties for Machine-Learning Models. | Maria Christakis, Hasan Ferit Eniser, Jrg Hoffmann, Adish Singla, Valentin Wstholz |
| 2022 | AAAI | Expressivity of Planning with Horn Description Logic Ontologies. | Stefan Borgwardt, Jrg Hoffmann, Alisa Kovtunova, Markus Krtzsch, Bernhard Nebel, Marcel Steinmetz |
| 2022 | AAAI | Operator-Potential Heuristics for Symbolic Search. | Daniel Fiser, lvaro Torralba, Jrg Hoffmann |
| 2022 | AAAI | Classical Planning with Avoid Conditions. | Marcel Steinmetz, Jrg Hoffmann, Alisa Kovtunova, Stefan Borgwardt |
| 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 |
| 2022 | IJCAI | Explaining Soft-Goal Conflicts through Constraint Relaxations. | Rebecca Eifler, Jeremy Frank, Jrg Hoffmann |
| 2022 | IJCAI | Landmark Heuristics for Lifted Classical Planning. | Julia Wichlacz, Daniel Hller, Jrg Hoffmann |
| 2022 | ISSTA | Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing. | Hasan Ferit Eniser, Timo P. Gros, Valentin Wstholz, Jrg Hoffmann, Maria Christakis |
| 2022 | IV | Glyph-Based Visual Analysis of Q-Leaning Based Action Policy Ensembles on Racetrack. | David Gro, Michaela Klauck, Timo P. Gros, Marcel Steinmetz, Jrg Hoffmann, Stefan Gumhold |
| 2022 | SoCS | Neural Network Heuristic Functions: Taking Confidence into Account. | Daniel Heller, Patrick Ferber, Julian Bitterwolf, Matthias Hein, Jrg Hoffmann |
| 2021 | AAAI | Choosing the Initial State for Online Replanning. | Maximilian Fickert, Ivan Gavran, Ivan Fedotov, Jrg Hoffmann, Rupak Majumdar, Wheeler Ruml |
| 2021 | AAAI | Faster Stackelberg Planning via Symbolic Search and Information Sharing. | lvaro Torralba, Patrick Speicher, Robert Knnemann, Marcel Steinmetz, Jrg Hoffmann |
| 2021 | CAV | Automated Safety Verification of Programs Invoking Neural Networks. | Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jrg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wstholz |
| 2021 | CAV | Model Checking mega-Regular Properties with Decoupled Search. | Daniel Gnad, Jan Eisenhut, Alberto Lluch-Lafuente, Jrg Hoffmann |
| 2021 | ICMI | Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD. | Frederik Wiehr, Anke Hirsch, Lukas Schmitz, Nina Knieriemen, Antonio Krger, Alisa Kovtunova, Stefan Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Jrg Hoffmann |
| 2021 | IJCAI | Custom-Design of FDR Encodings: The Case of Red-Black Planning. | Daniel Fiser, Daniel Gnad, Michael Katz, Jrg Hoffmann |
| 2021 | IJCAI | Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning. | Pascal Lauer, lvaro Torralba, Daniel Fiser, Daniel Hller, Julia Wichlacz, Jrg Hoffmann |
| 2021 | IJCAI | Learning Temporal Plan Preferences from Examples: An Empirical Study. | Valentin Seimetz, Rebecca Eifler, Jrg Hoffmann |
| 2021 | KR | Making DL-Lite Planning Practical. | Stefan Borgwardt, Jrg Hoffmann, Alisa Kovtunova, Marcel Steinmetz |
| 2021 | SoCS | Pattern Databases for Stochastic Shortest Path Problems. | Thorsten Klner, Jrg Hoffmann |
| 2021 | SoCS | Landmark Heuristics for Lifted Planning - Extended Abstract. | Julia Wichlacz, Daniel Hller, Jrg Hoffmann |
| 2020 | AAAI | A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning. | Rebecca Eifler, Michael Cashmore, Jrg Hoffmann, Daniele Magazzeni, Marcel Steinmetz |
| 2020 | AAAI | Beliefs We Can Believe in: Replacing Assumptions with Data in Real-Time Search. | Maximilian Fickert, Tianyi Gu, Leonhard Staut, Wheeler Ruml, Jrg Hoffmann, Marek Petrik |
| 2020 | AAAI | Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking. | Jrg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni |
| 2020 | COLING | Generating Instructions at Different Levels of Abstraction. | Arne Khn, Julia Wichlacz, lvaro Torralba, Daniel Hller, Jrg Hoffmann, Alexander Koller |
| 2020 | ECAI | Neural Network Heuristics for Classical Planning: A Study of Hyperparameter Space. | Patrick Ferber, Malte Helmert, Jrg Hoffmann |
| 2020 | FORTE | Deep Statistical Model Checking. | Timo P. Gros, Holger Hermanns, Jrg Hoffmann, Michaela Klauck, Marcel Steinmetz |
| 2020 | IJCAI | Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties. | Rebecca Eifler, Marcel Steinmetz, lvaro Torralba, Jrg Hoffmann |
| 2020 | ISoLA | Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. | Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jrg Hoffmann, Michaela Klauck, Maximilian A. Khl, Marcel Steinmetz, Christoph Weidenbach |
| 2020 | ISoLA | TraceVis: Towards Visualization for Deep Statistical Model Checking. | Timo P. Gros, David Gro, Stefan Gumhold, Jrg Hoffmann, Michaela Klauck, Marcel Steinmetz |
| 2020 | SIGdial | MC-Saar-Instruct: a Platform for Minecraft Instruction Giving Agents. | Arne Khn, Julia Wichlacz, Christine Schfer, lvaro Torralba, Jrg Hoffmann, Alexander Koller |
| 2020 | SoCS | Applying Monte-Carlo Tree Search in HTN Planning. | Julia Wichlacz, Daniel Hller, lvaro Torralba, Jrg Hoffmann |
| 2019 | AAAI | Refining Abstraction Heuristics during Real-Time Planning. | Rebecca Eifler, Maximilian Fickert, Jrg Hoffmann, Wheeler Ruml |
| 2019 | AAAI | Real-Time Planning as Decision-Making under Uncertainty. | Andrew Mitchell, Wheeler Ruml, Fabian Spaniol, Jrg Hoffmann, Marek Petrik |
| 2019 | SAC | Towards automated network mitigation analysis. | Patrick Speicher, Marcel Steinmetz, Jrg Hoffmann, Michael Backes, Robert Knnemann |
| 2018 | AAAI | Stackelberg Planning: Towards Effective Leader-Follower State Space Search. | Patrick Speicher, Marcel Steinmetz, Michael Backes, Jrg Hoffmann, Robert Knnemann |
| 2018 | IJCAI | Unchaining the Power of Partial Delete Relaxation, Part II: Finding Plans with Red-Black State Space Search. | Maximilian Fickert, Daniel Gnad, Jrg Hoffmann |
| 2018 | IJCAI | LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning. | Marcel Steinmetz, Jrg Hoffmann |
| 2017 | GI | Methoden zum Management der IT-Komplexitt. | Marie Gruber, Jrg Hoffmann, Jrgen Karla |
| 2017 | IJCAI | Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search. | Daniel Gnad, Valerie Poser, Jrg Hoffmann |
| 2017 | IJCAI | Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning. | Marcel Steinmetz, Jrg Hoffmann |
| 2017 | SoCS | Ranking Conjunctions for Partial Delete Relaxation Heuristics in Planning. | Maximilian Fickert, Jrg Hoffmann |
| 2017 | SoCS | Symbolic Leaf Representation in Decoupled Search. | Daniel Gnad, lvaro Torralba, Jrg Hoffmann |
| 2016 | AAAI | Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends. | Marcel Steinmetz, Jrg Hoffmann |
| 2016 | COLING | From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation. | Maximilian Schwenger, lvaro Torralba, Jrg Hoffmann, David M. Howcroft, Vera Demberg |
| 2016 | IJCAI | Decoupled Strong Stubborn Sets. | Daniel Gnad, Martin Wehrle, Jrg Hoffmann |
| 2016 | IJCAI | On State-Dominance Criteria in Fork-Decoupled Search. | lvaro Torralba, Daniel Gnad, Patrick Dubbert, Jrg Hoffmann |
| 2016 | SoCS | Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications. | Daniel Gnad, Marcel Steinmetz, Mathus Jany, Jrg Hoffmann, Ivan Serina, Alfonso Gerevini |
| 2015 | IJCAI | Simulation-Based Admissible Dominance Pruning. | lvaro Torralba, Jrg Hoffmann |
| 2015 | SoCS | Red-Black Planning: A New Tractability Analysis and Heuristic Function. | Daniel Gnad, Jrg Hoffmann |
| 2015 | SoCS | From Fork Decoupling to Star-Topology Decoupling. | Daniel Gnad, Jrg Hoffmann, Carmel Domshlak |
| 2014 | ECAI | "Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability. | Jrg Hoffmann, Peter Kissmann, lvaro Torralba |
| 2014 | ECAI | Learning Pruning Rules for Heuristic Search Planning. | Michal Krajnansk, Jrg Hoffmann, Olivier Buffet, Alan Fern |
| 2013 | AAAI | Red-Black Relaxed Plan Heuristics. | Michael Katz, Jrg Hoffmann, Carmel Domshlak |
| 2013 | KI | Translating Single-Player GDL into PDDL. | Thorsten Rauber, Peter Kissmann, Jrg Hoffmann |
| 2013 | SoCS | Red-Black Relaxed Plan Heuristics Reloaded. | Michael Katz, Jrg Hoffmann |
| 2012 | AAAI | Semi-Relaxed Plan Heuristics. | Emil Ragip Keyder, Jrg Hoffmann, Patrik Haslum |
| 2012 | AAAI | POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing. | Carlos Sarraute, Olivier Buffet, Jrg Hoffmann |
| 2011 | IJCAI | Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning. | Raz Nissim, Jrg Hoffmann, Malte Helmert |
| 2011 | KI | Everything You Always Wanted to Know about Planning - (But Were Afraid to Ask). | Jrg Hoffmann |
| 2010 | AAAI | SAP Speaks PDDL. | Jrg Hoffmann, Ingo Weber, Frank Michael Kraft |
| 2010 | ECAI | Brothers in Arms? On AI Planning and Cellular Automata. | Jrg Hoffmann, Nazim Fats, Hctor Palacios |
| 2010 | ICINCO | Automatic Calibration of a Motion Capture System based on Inertial Sensors for Tele-manipulation. | Jrg Hoffmann, Bernd Brggemann, Bjrn Krger |
| 2010 | SoCS | Improving Local Search for Resource-Constrained Planning. | Hootan Nakhost, Jrg Hoffmann, Martin Mller |
| 2009 | DASFAA | Supporting Execution-Level Business Process Modeling with Semantic Technologies. | Matthias Born, Jrg Hoffmann, Tomasz Kaczmarek, Marek Kowalkiewicz, Ivan Markovic, James Scicluna, Ingo Weber, Xuan Zhou |
| 2009 | GI | Ontology Design for Information Integration in Disaster Management. | Grigori Babitski, Florian Probst, Jrg Hoffmann, Daniel Oberle |
| 2009 | ICWS | Composing Services for Third-party Service Delivery. | Ingo Weber, Alistair Barros, Norman May, Jrg Hoffmann, Tomasz Kaczmarek |
| 2008 | AAAI | Explicit-State Abstraction: A New Method for Generating Heuristic Functions. | Malte Helmert, Patrik Haslum, Jrg Hoffmann |
| 2008 | BPM | Detecting Regulatory Compliance for Business Process Models through Semantic Annotations. | Guido Governatori, Jrg Hoffmann, Shazia Sadiq, Ingo Weber |
| 2008 | ECAI | Towards Efficient Belief Update for Planning-Based Web Service Composition. | Jrg Hoffmann |
| 2008 | ICWE | Combining Scalability and Expressivity in the Automatic Composition of Semantic Web Services. | Jrg Hoffmann, Ingo Weber, James Scicluna, Tomasz Kaczmarek, Anupriya Ankolekar |
| 2008 | ICWS | Towards Scalable Web Service Composition with Partial Matches. | Adina Sirbu, Jrg Hoffmann |
| 2008 | TACAS | Fast Directed Model Checking Via Russian Doll Abstraction. | Sebastian Kupferschmid, Jrg Hoffmann, Kim Guldstrand Larsen |
| 2007 | AAAI | Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty. | Jrg Hoffmann, Piergiorgio Bertoli, Marco Pistore |
| 2007 | IJCAI | From Sampling to Model Counting. | Carla P. Gomes, Jrg Hoffmann, Ashish Sabharwal, Bart Selman |
| 2007 | IJCAI | SAT Encodings of State-Space Reachability Problems in Numeric Domains. | Jrg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz |
| 2007 | ICSOC | Towards a Methodology for Semantic Business Process Modeling and Configuration. | Ingo Weber, Jrg Hoffmann, Jan Mendling, Jrg Nitzsche |
| 2007 | ICWS | Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code. | Piergiorgio Bertoli, Jrg Hoffmann, Freddy Lcu, Marco Pistore |
| 2007 | SAT | Short XORs for Model Counting: From Theory to Practice. | Carla P. Gomes, Jrg Hoffmann, Ashish Sabharwal, Bart Selman |
| 2007 | TACAS | Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking. | Sebastian Kupferschmid, Klaus Drger, Jrg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann |
| 2005 | IJCAI | A Covering Problem for Hypercubes. | Jrg Hoffmann, Sebastian Kupferschmid |
| 2005 | WSCG | Implementing Multi-Viewer Stereo Displays. | Bernd Frhlich, Roland Blach, Oliver Stefani, Jan Hochstrate, Jrg Hoffmann, Karsten Klger, Matthias Bues |
| 2004 | KI | Applying Automatic Planning Systems to Airport Ground-Traffic Control - A Feasibility Study. | Sebastian Trg, Jrg Hoffmann, Bernhard Nebel |
| 2003 | IJCAI | In Defense of PDDL Axioms. | Sylvie Thibaux, Jrg Hoffmann, Bernhard Nebel |
| 2002 | ECAI | Extending FF to Numerical State Variables. | Jrg Hoffmann |
| 2001 | IJCAI | Local Search Topology in Planning Benchmarks: An Empirical Analysis. | Jrg Hoffmann |
| 2000 | ISMIS | A Heuristic for Domain Independent Planning and Its Use in an Enforced Hill-Climbing Algorithm. | Jrg Hoffmann |
| 1999 | IJCAI | A New Method to Index and Query Sets. | Jrg Hoffmann, Jana Koehler |