Joerg Hoffmann - Publications


Books and Edited Conference Proceedings:


Highly Refereed International Journals:


Other Journals:

  • V. Demberg, J. Hoffmann, D. Howcroft, D. Klakow, and A. Torralba, Search Challenges in Natural Language Generation with Complex Optimization Objectives, Kuenstliche Intelligenz, 2016. (PDF)

  • D. Fitzner, J. Hoffmann, and E. Klien, Functional Description of Geoprocessing Services as Conjunctive Queries, GeoInformatica, Volume 15(1), 2011, pages 191-221. (PDF) (bib entry)

  • J. Hoffmann, I. Weber, and G. Governatori, On Compliance Checking for Clausal Constraints in Annotated Process Models, Information Systems Frontiers, 2009. (PDF) (bib entry)

  • J. Rintanen, J. Hoffmann, An Overview of Recent Algorithms for AI Planning, Kuenstliche Intelligenz, Volume 2/01, 2001, pages 5 - 11. (gzip'ed postscript file) (bib entry)

  • J. Hoffmann, FF: The Fast-Forward Planning System, AI Magazine, Volume 22, Number 3, 2001, pages 57 - 62. (PDF) (bib entry)
  • D. Long, H. Kautz, B. Selman, B. Bonet, H. Geffner, J. Koehler, M. Brenner, J. Hoffmann, F. Rittinger, C. Anderson, D. Weld, D. Smith, and M. Fox, The AIPS-98 Planning Competition, AI Magazine, Volume 21, Number 2, 2000, pages 13-33.

Book Chapters:

  • D. Gnad, M. Helmert, J. Hoffmann, and F. Pommerening, Planen, chapter in Handbuch fuer Kuenstliche Intelligenz, Oldenbourg Verlag 2020.

  • J. Hoffmann and I. Weber, Web Service Composition, chapter in Encyclopedia of Social Network Analysis and Mining, edited by J. Rokne and R. Alhajj, Springer-Verlag 2013. (PDF)

  • S. Heymans, J. Hoffmann, A. Marconi, J. Phillips, and I. Weber, Semantic Web Services Fundamentals, chapter in Handbook of Service Description: USDL and Its Methods, edited by D. Oberle and A. Barros, Springer-Verlag 2011. (PDF)


Highly Refereed International Conferences:

  • J. Mandi, M. Foschini, D. Höller, S. Thiebaux, J. Hoffmann, and T. Guns, Decision-Focused Learning to Predict Action Costs for Planning, Proceedings of the 27th European Conference on Artificial Intelligence (ECAI'24), 2024.

  • C. Jain, L. Cascioli, L. Devos, M. Vinzent, M. Steinmetz J. Davis, and J. Hoffmann, Safety Verification of Tree-Ensemble Policies via Predicate Abstraction, Proceedings of the 27th European Conference on Artificial Intelligence (ECAI'24), 2024.

  • R. Eifler, D. Fišer, A. Siji, and J. Hoffmann, Iterative Oversubscription Planning with Goal-Conflict Explanations: Scaling Up Through Policy-Guidance Approximation, Proceedings of the 27th European Conference on Artificial Intelligence (ECAI'24), 2024.

  • M. Hao, F. Trevizan, S. Thiebaux, P. Ferber, and J. Hoffmann, Guiding GBFS through Learned Pairwise Rankings, Proceedings of the 33rd International Joint Conference on Artificial Intelligence (IJCAI'24), 2023.

  • J. Eisenhut, X. Schuler, D. Fišer, D. Höller, M. Christakis, and J. Hoffmann, New Fuzzing Biases for Action Policy Testing, Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS'24), 2024.

  • M. Vinzent and J. Hoffmann, Neural Action Policy Safety Verification: Applicablity Filtering, Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS'24), 2024.

  • M. Christakis, H. Eniser, J. Hoffmann, A. Singla, and V. Wüstholz, Specifying and Testing k-Safety Properties for Machine-Learning Models, Proceedings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI'23), 2023.

  • J. Wichlacz, D. Höller, D. Fišer, J. Hoffmann, A Landmark-Cut Heuristic for Lifted Optimal Planning, Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023), 2023.

  • J. Eisenhut, A. Torralba, M. Christakis, and J. Hoffmann, Automatic Metamorphic Test Oracles for Action-Policy Testing, Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS'23), 2023. (PDF)

  • Philipp Sauer, M. Steinmetz, R. Kuennemann, and J. Hoffmann, Lifted Stackelberg Planning, Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS'23), 2023. (PDF) (Code & TR)

  • M. Vinzent, S. Sharma, and J. Hoffmann, Neural Policy Safety Verification via Predicate Abstraction: CEGAR, Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI'23), 2023.

  • D. Groß, M. Klauck, T. Gros, M. Steinmetz, J. Hoffmann, and S. Gumhold, Glyph-Based Visual Analysis of Q-Learning Based Action Policy Ensembles on Racetrack, Proceedings of the 26th International Conference on Information Visualisation (IV'22), 2022. Best paper award. (PDF)

  • T. Gros, H. Hermanns, J. Hoffmann, M. Klauck, M. Köhl, and V. Wolf, MoGym: Using Formal Models for Training and Verifying Decision-making Agents, Proceedings of the 34th International Conference on Computer-Aided Verification (CAV'22), 2022.

  • D. Heller, P. Ferber, J. Bitterwolf, M. Hein, and J. Hoffmann, Neural Network Heuristic Functions: Taking Confidence into Account, Proceedings of the 15th Annual Symposium on Combinatorial Search (SOCS'22), 2022.

  • J. Wichlacz, D. Höller, and J. Hoffmann, Landmark Heuristics for Lifted Classical Planning, Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI'22), 2022.

  • R. Eifler, J. Frank, and J. Hoffmann, Explaining Soft-Goal Conflicts through Constraint Relaxations, Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI'22), 2022.

  • H. Eniser, T. Gros, V. Wüstholz, J. Hoffmann, and M. Christakis, Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing, Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'22), 2022. (PDF)

  • M. Steinmetz, D. Fišer, H. Eniser, P. Ferber, T. Gros, P. Heim, D. Höller, X. Schuler, V. Wüstholz, M. Christakis, and J. Hoffmann, Debugging a Policy: Automatic Action-Policy Testing in AI Planning, Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS'22), 2022. (PDF)

  • M. Vinzent, M. Steinmetz, and J. Hoffmann, Neural Network Action Policy Verification via Predicate Abstraction, Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS'22), 2022. (PDF) (Technical Report)

  • R. Eifler, M. Brandao, A. Coles, J. Frank, and J. Hoffmann, Evaluating Plan-Property Dependencies: A Web-Based Platform and User Study, Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS'22), 2022. (PDF)

  • P. Ferber, F. Geißer, F. Trevizan, M. Helmert, and J. Hoffmann, Neural Network Heuristic Functions for Classical Planning: Bootstrapping and Comparison to Other Methods, Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS'22), 2022.

  • D. Fišer, A. Torralba, and J. Hoffmann, Operator-Potentials in Symbolic Search: From Forward to Bi-Directional Search, Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS'22), 2022.

  • T. Klößner, M. Steinmetz, A. Torralba, and J. Hoffmann, Pattern Selection Strategies for Pattern Databases in Probabilistic Planning, Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS'22), 2022.

  • M. Brandao, A. Coles, A. Coles, and J. Hoffmann, Merge and Shrink Abstractions for Temporal Planning, Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS'22), 2022.

  • D. Fišer, A. Torralba, J. Hoffmann, Operator-Potential Heuristics for Symbolic Search, Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI'22), 2022. Outstanding Paper Award, Honorable Mention (one of 3 outstanding paper awards, out of >9000 submissions).

  • S. Borgwardt, J. Hoffmann, A. Kovtunova, M. Krötzsch, B. Nebel, and M. Steinmetz, Expressivity of Planning with Horn Description Logic Ontologies, Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI'22), 2022.

  • M. Steinmetz, J. Hoffmann, A. Kovtunova, and S. Borgwardt, Classical Planning with Avoid Conditions, Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI'22), 2022.

  • F. Wiehr, A. Hirsch, L. Schmitz, N. Knieriemen, A. Kovtunova, S. Borgwardt, E. Chang, V. Demberg, M. Steinmetz, J. Hoffmann, and A. Krüger, Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD, Proceedings of the 23rd ACM International Conference on Multimodal Interaction (ICMI'21), 2021.

  • S. Borgwardt, A. Kovtunova, J. Hoffmann, and M. Steinmetz, Making DL-Lite Planning Practical, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21), 2021.

  • Also appears in Proceedings of the 34th International Workshop on Description Logics (DL'21).

  • T. Gros, D. Höller, J. Hoffmann, M. Klauck, H. Meerkamp, and V. 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'21), 2021. (PDF)

  • P. Lauer, M. Steinmetz, A. Torralba, D. Fišer, D. Höller, J. Wichlacz, and J. Hoffmann, Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning, Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI'21), 2021.

  • D. Fišer, D. Gnad, M. Katz, and J. Hoffmann, Custom-Design of FDR Encodings: The Case of Red-Black Planning, Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI'21), 2021.

  • V. Seimetz, R. Eifler, and J. Hoffmann, Learning Temporal Plan Preferences from Examples: An Empirical Study, Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI'21), 2021. (PDF)

  • D. Gnad, J. Eisenhut, A. Lluch Lafuente, and J. Hoffmann, Model Checking ω-Regular Properties with Decoupled Search, Proceedings of the 33rd International Conference on Computer-Aided Verification (CAV'21), 2021. (PDF)

  • M. Christakis, H. Eniser, H. Hermanns, J. Hoffmann, Y. Kothari, J. Li, J. Navas, and V. Wüstholz, Automated Safety Verification of Programs Invoking Neural Networks, Proceedings of the 33rd International Conference on Computer-Aided Verification (CAV'21), 2021.

  • T. Klößner and J. Hoffmann, Pattern Databases for Stochastic Shortest Path Problems, Proceedings of the 14th Annual Symposium on Combinatorial Search (SOCS'21), 2021. Best student paper award.

  • T. Klößner, A. Torralba, M. Steinmetz, and J. Hoffmann, Pattern Databases for Goal-Probability Maximization in Probabilistic Planning, Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS'21), 2021.

  • M. Fickert, I. Gavran, I. Fedotov, J. Hoffmann, R. Majumdar, and W. Ruml, Choosing the Initial State for Online Replanning, Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI'21), 2021.

  • A. Torralba, P. Speicher, R. Kuennemann, M. Steinmetz, and J. Hoffmann, Faster Stackelberg Planning via Symbolic Search and Information Sharing, Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI'21), 2021. (PDF)

  • A. Köhn, J. Wichlacz, A. Torralba, D. Höller, J. Hoffmann, and A. Koller, Generating Instructions at Different Levels of Abstraction, Proceedings of the 28th International Conference on Computational Linguistics (Coling'20). Nominated for the best paper award.

  • T. Gros, D. Höller, J. Hoffmann, and V. Wolf, Tracking the Race Between Deep Reinforcement and Supervised Learning, short paper in Proceedings of the 17th International Conference on Quantitative Evaluation of SysTems (QEST'20), 2020.

  • A. Köhn, J. Wichlacz, C. Schäfer, A. Torralba, J. Hoffmann, and A. Koller, MC-Saar-Instruct: A Platform for Minecraft Instruction Giving Agents, Proceedings of the 21st Annual Meeting of the Special Interest Group on Discourse and Dialogue (SIGDIAL'20), 2020. (PDF)

  • R. Eifler, M. Steinmetz, A. Torralba, and J. Hoffmann, Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties, Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI'20), 2020. (PDF)

  • T. Gros, H. Hermanns, J. Hoffmann, M. Klauck, and M. Steinmetz, Deep Statistical Model Checking, Proceedings of the 40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE'20), 2020. (PDF)

    Also appears in the Workshop on Foundations of Trustworthy AI - Integrating Learning, Optimization and Reasoning (TAILOR) at the 24th European Conference on Artificial Intelligence (ECAI'20)

  • J. Wichlacz, D. Höller, A. Torralba, and J. Hoffmann, Applying Monte-Carlo Tree Search in HTN Planning, Proceedings of the 13th Annual Symposium on Combinatorial Search (SOCS'20), 2020. (PDF)

  • P. Ferber, M. Helmert, and J. Hoffmann, Neural Network Heuristics for Classical Planning: A Study of Hyperparameter Space, Proceedings of the 24th European Conference on Artificial Intelligence (ECAI'20), Santiago, Spain, 2020. (PDF)

  • J. Hoffmann, H. Hermanns, M. Klauck, M. Steinmetz, E. Karpas, and D. Magazzeni, Let's Learn their Language? A Case for Planning with Automata-Network Languages from Model Checking, Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI'20), Senior Member Track, New York City, USA, 2020. (PDF)

  • Also appears in the Workshop on Knowledge Engineering for Planning and Scheduling (KEPS) at the 30th International Conference on Automatic Planning and Scheduling (ICAPS'20)

  • R. Eifler, M. Cashmore, J. Hoffmann, D. Magazzeni, and M. Steinmetz, A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning, Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI'20), New York City, USA, 2020. (PDF)

  • M. Fickert, T. Gu, L. Staut, W. Ruml, J. Hoffmann, M. Petrik, Beliefs We Can Believe In: Replacing Assumptions with Data in Real-Time Search, Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI'20), New York City, USA, 2020. (PDF)

  • P. Speicher, M. Steinmetz, J. Hoffmann, M. Backes, and R. Kuennemann, Towards Automated Network Mitigation Analysis, Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing (SAC'19).

  • Frederik Schmitt, D. Gnad, J. Hoffmann Advanced Factoring Strategies for Decoupled Search using Linear Programming, Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS'19), Berkeley, CA, USA, 2019. (PDF) (Technical Report)

  • D. Gnad, J. Hoffmann On the Relation between Star-Topology Decoupling and Petri Net Unfolding, Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS'19), Berkeley, CA, USA, 2019. (PDF) (Technical Report)

  • D. Shmaryahu, G. Shani, and J. Hoffmann, Comparative Criteria for Partially Observable Contingent Planning, extended abstract, Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'19), Montreal, Canada, 2019.

  • A. Mitchell, W. Ruml, F. Spaniol, J. Hoffmann, M. Petrik, Real-time Planning as Decision-making Under Uncertainty, Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI'19), Honolulu, USA, 2019. (PDF)

  • R. Eifler, M. Fickert, J. Hoffmann, W. Ruml, Refining Abstraction Heuristics During Real-Time Planning, Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI'19), Honolulu, USA, 2019. (PDF)

  • D. Gnad, P. Dubbert, A. Lluch Lafuente, and J. Hoffmann, Star-Topology Decoupling in SPIN, Proceedings of the 24th International SPIN Symposium on Model Checking of Software (SPIN'18), Malaga, Spain, 2018. Best paper award. (PDF)

  • M. Steinmetz and J. Hoffmann, LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning, Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI'18), Stockholm, Sweden, 2018. (PDF) (Technical Report)

  • M. Fickert, D. Gnad, and J. Hoffmann, Unchaining the Power of Partial Delete Relaxation, Part II: Finding Plans with Red-Black State Space Search, Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI'18), Stockholm, Sweden, 2018. (PDF) (Technical Report)

  • A. Wilhelm, M. Steinmetz, and J. Hoffmann, On Stubborn Sets and Planning with Resources, Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS'18), Delft, The Netherlands, 2018. (PDF)

  • M. Klauck, M. Steinmetz, J. Hoffmann, and H. Hermanns, Compiling Probabilistic Model Checking into Probabilistic Planning, Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS'18), Delft, The Netherlands, 2018. (PDF) (Technical Report)

  • D. Shmaryahu, G. Shani, and J. Hoffmann, Simulated Penetration Testing as Contingent Planning, Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS'18), Delft, The Netherlands, 2018. (PDF)

  • P. Speicher, M. Steinmetz, R. Kuennemann, M. Simeonovski, G. Pellegrino, J. Hoffmann, and M. Backes, Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure, Proceedings of the 3rd IEEE European Symposium on Security and Privacy (EuroS&P), London, UK, 2018. (PDF)

  • P. Speicher, M. Steinmetz, M. Backes, J. Hoffmann, and R. Kuennemann Stackelberg Planning: Towards Effective Leader-Follower State Space Search, Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI'18), New Orleans, USA, 2018. (PDF)

  • D. Gnad, A. Torralba, and J. Hoffmann, Symbolic Leaf Representation in Decoupled Search, Proceedings of the 10th Annual Symposium on Combinatorial Search (SOCS'17), Pittsburgh, PA, USA, 2017. (PDF) (Technical Report)

  • M. Fickert and J. Hoffmann, Ranking Conjunctions for Partial Delete Relaxation Heuristics in Planning, Proceedings of the 10th Annual Symposium on Combinatorial Search (SOCS'17), Pittsburgh, PA, USA, 2017. (PDF)

  • M. Steinmetz and J. Hoffmann, Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning, Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), Melbourne, Australia, 2017. (PDF)

  • D. Gnad, V. Poser, and J. Hoffmann, Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search, Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), Melbourne, Australia, 2017. (PDF)

  • M. Fickert and J. Hoffmann, Complete Local Search: Boosting Hill-Climbing through Online Relaxation Refinement, Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS'17), Pittsburgh, PA, USA, 2017. (PDF)

  • D. Gnad, A. Torralba, A. Shleyfman, and J. Hoffmann, Symmetry Breaking in Star-Topology Decoupled Search, Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS'17), Pittsburgh, PA, USA, 2017. (PDF) (Technical Report)

  • M. Steinmetz and J. Hoffmann, Critical-Path Dead-End Detection vs. NoGoods: Offline Equivalence and Online Learning, Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS'17), Pittsburgh, PA, USA, 2017. (PDF)

  • P. Speicher, M. Steinmetz, D. Gnad, J. Hoffmann, and A. Gerevini, Beyond Red-Black Planning: Limited-Memory State Variables, Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS'17), Pittsburgh, PA, USA, 2017. (PDF) (Technical Report)

  • M. Schwenger, A. Torralba, J. Hoffmann, D. Howcroft, and V. Demberg, From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation, Proceedings of the 26th International Conference on Computational Linguistics (Coling'16), Osaka, Japan, 2016. (PDF)

  • D. Gnad, M. Steinmetz, M. Jany, J. Hoffmann, I. Serina, and A. Gerevini, Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications, Proceedings of the 9th Annual Symposium on Combinatorial Search (SOCS'16), Tarrytown, NY, USA, 2016. (PDF)

  • D. Gnad, M. Wehrle, and J. Hoffmann, Decoupled Strong Stubborn Sets, Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI'16), New York, USA, 2016. (PDF) (Technical Report) (PDF for KI'16 short version)

  • A. Torralba, D. Gnad, P. Dubbert, and J. Hoffmann, On State-Dominance Criteria in Fork-Decoupled Search, Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI'16), New York, USA, 2016. (PDF) (Technical Report)

  • M. Steinmetz, J. Hoffmann, and O. Buffet, Revisiting Goal Probability Analysis in Probabilistic Planning, Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS'16), London, UK, 2016. (PDF) (Technical Report)

  • J. Daum, A. Torralba, J. Hoffmann, P. Haslum, and I. Weber, Practical Undoability Checking via Contingent Planning, Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS'16), London, UK, 2016. Outstanding student paper award. (PDF)

  • M. Steinmetz and J. Hoffmann, Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends, Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI'16), Phoenix, USA, 2016. (PDF) (Technical Report) (PDF for KI'16 short version)

  • A. Torralba and J. Hoffmann, Simulation-Based Admissible Dominance Pruning, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15), Buenos Aires, Argentina, 2015. (PDF)

  • D. Gnad, J. Hoffmann, and C. Domshlak, From Fork Decoupling to Star-Topology Decoupling, Proceedings of the 8th Annual Symposium on Combinatorial Search (SOCS'15), Ein Gedi, Israel, 2015. Nominated for the best paper award at HSDIP'15 (and they don't even have one, go figure!) (PDF)

  • D. Gnad and J. Hoffmann, Red-Black Planning: A New Tractability Analysis and Heuristic Function, Proceedings of the 8th Annual Symposium on Combinatorial Search (SOCS'15), Ein Gedi, Israel, 2015. (PDF)

  • J. Hoffmann, Simulated Penetration Testing: From "Dijkstra" to "Turing Test++", invited paper in Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS'15), Jerusalem, Israel, 2015. (PDF)

  • D. Gnad and J. Hoffmann, Beating LM-cut with h^max (Sometimes): Fork-Decoupled State Space Search, Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS'15), Jerusalem, Israel, 2015. (PDF) (Technical Report) Note: The original version contained a bug in Definition 5 (allowing the compilation-heuristic to use more than one finite-price leaf state). The present version corrects that bug.

  • J. Hoffmann and M. Fickert, Explicit Conjunctions w/o Compilation: Computing h^FF(Pi^C) in Polynomial Time, Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS'15), Jerusalem, Israel, 2015. (PDF) (Technical Report)

  • M. Backes, F. Bendun, J. Hoffmann, N. Marnau, PriCL: Creating a Precedent A Framework for Reasoning about Privacy Case Law, Proceedings of the 4th International Conference on Principles of Security and Trust (POST'15), London, UK, 2015. (PDF)

  • J. Hoffmann, P. Kissmann, and A. Torralba, ``Distance''? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability, Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), Prague, Czech Republic, 2014. (PDF)

  • M. Krajnansky, O. Buffet, J. Hoffmann, and A. Fern, Learning Pruning Rules for Heuristic Search Planning, Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), Prague, Czech Republic, 2014. (PDF)

  • C. Areces, F. Bustos, M. Dominguez, and J. Hoffmann, Optimizing Planning Domains by Automatic Action Schema Splitting, in Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS'14), Portsmouth, NH, USA, 2014. (PDF)

  • C. Fawcett, M. Vallati, F. Hutter, J. Hoffmann, H. Hoos, and K. Leyton-Brown, Improved Features for Runtime Prediction of Domain-Independent Planners, in Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS'14), Portsmouth, NH, USA, 2014. (PDF)

  • M. Katz and J. Hoffmann, Red-Black Relaxed Plan Heuristics Reloaded, in Proceedings of the 6th Annual Symposium on Combinatorial Search (SOCS'13), Leavenworth, Washington, USA, 2013. (PDF)

  • M. Katz, J. Hoffmann, and C. Domshlak, Red-Black Relaxed Plan Heuristics, in Proceedings of the 27th AAAI Conference on Artificial Intelligence (AAAI'13), Bellevue, Washington, USA, 2013. (PDF)

  • M. Katz, J. Hoffmann, and C. Domshlak, Who Said we Need to Relax All Variables?, in Proceedings of the 23d International Conference on Automated Planning and Scheduling (ICAPS'13), Rome, Italy, 2013. (PDF)

  • P. Kissmann and J. Hoffmann, What's in It for My BDD? On Causal Graphs and Variable Orders in Planning, in Proceedings of the 23d International Conference on Automated Planning and Scheduling (ICAPS'13), Rome, Italy, 2013. (PDF)

  • C. Sarraute, O. Buffet, and J. Hoffmann, POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing, in Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI'12), Toronto, Canada, 2012. (PDF)

  • E. Keyder, J. Hoffmann, and P. Haslum, Semi-Relaxed Plan Heuristics, in Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS'12), Sao Paulo, Brasil, 2012. Best paper award. (PDF) A short version of this paper appears as an invited paper in Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI'12), Toronto, Canada, 2012. (PDF for AAAI'12 short version)

  • M. Katz, J. Hoffmann, and M. Helmert, How to Relax a Bisimulation?, in Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS'12), Sao Paulo, Brasil, 2012. (PDF). Note: We discovered in the meantime that the parameter "M" in the paper, which is supposed to serve only for deciding when to collect the labels "K", was mistakenly also used as an upper bound on abstraction size (forcing additional shrinking if the bound is not met, similar to the parameter "N"). This may have influenced the data.

  • H. Nakhost, J. Hoffmann, and M. Mueller, Resource-Constrained Planning: A Monte-Carlo Random Walk Approach, in Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS'12), Sao Paulo, Brasil, 2012. (PDF)

  • Raz Nissim, J. Hoffmann, and M. Helmert, Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning, in Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI'11), Barcelona, Spain, July 2011. (PDF)

  • J. Hoffmann, Where Ignoring Delete Lists Works, Part II: Causal Graphs, in Proceedings of the 21st International Conference on Automated Planning and Scheduling (ICAPS'11), Freiburg, Germany, June 2011. Nominated for the best paper award. (PDF) (talk slides) (ICAPS'11 demo poster) (ICAPS'11 demo paper with example runs) --- NOTE: The ICAPS'11 Proceedings version contains a bug in Definition 1 (not collecting pre-eff arcs where pre is currently true but may be changed). The present version corrects that bug.

  • H. Nakhost, J. Hoffmann, and M. Mueller, Improving Local Search for Resource-Constrained Planning, abstract in Proceedings of the 3rd Annual Symposium on Combinatorial Search (SOCS'10), Atlanta, Georgia, USA, July 2010. (PDF) (PDF of longer TR)

  • J. Hoffmann, N. Fates, and H. Palacios, Brothers in Arms? On AI Planning and Cellular Automata, in Proceedings of the 19th European Conference on Artificial Intelligence (ECAI'10), Lisbon, Portugal, August 2010. (PDF)

  • J. Hoffmann, I. Weber, and F. Kraft, SAP Speaks PDDL, in Proceedings of the 24th National Conference of the American Association for Artificial Intelligence (AAAI'10), Atlanta, Georgia, USA, July 2010. (PDF)

  • A. Koller and J. Hoffmann, Waking Up a Sleeping Rabbit: On Natural-Language Sentence Generation with FF, short paper in Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS'10), Toronto, Canada, May 2010. (PDF)

  • D. Cai, J. Hoffmann, and M. Helmert, Enhancing the Context-Enhanced Additive Heuristic with Precedence Constraints, in Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS'09), Thessaloniki, Greece, September 2009. (PDF)

  • I. Weber, A. Barros, N. May, J. Hoffmann, and T. Kaczmarek, Composing Services for Third-Party Service Delivery, in Proceedings of the 7th IEEE International Conference on Web Services (ICWS'09), Los Angeles, USA, July 2009. (PDF)

  • G. Babitski, S. Bergweiler, J. Hoffmann, D. Schoen, C. Stasch, and A. Walkowski, Ontology-based Integration of Sensor Web Services in Disaster Management, in Proceedings of the 3rd International Conference on GeoSpatial Semantics (GEOS'09), Mexico City, Mexico, December 2009. (PDF)

  • I. Weber, J. Hoffmann, and J. Mendling, Beyond Soundness: On the Semantic Consistency of Executable Process Models, in Proceedings of the 6th IEEE European Conference on Web Services (ECOWS'08), Dublin, Ireland, November 2008. (PDF)

  • A. Sirbu, J. Hoffmann, Towards Scalable Web Service Composition with Partial Matches, in Proceedings of the 6th IEEE International Conference on Web Services (ICWS'08), Beijing, China, September 2008. (PDF)

  • J. Hoffmann, Towards Efficient Belief Update for Planning-Based Web Service Composition, in Proceedings of the 18th European Conference on Artificial Intelligence (ECAI'08), Patras, Greece, July 2008. (PDF)

  • J. Hoffmann, I. Weber, J. Scicluna, T. Kaczmarek, and A. Ankolekar, Combining Scalability and Expressivity in the Automatic Composition of Semantic Web Services, in Proceedings of the 8th International Conference on Web Engineering (ICWE'08), Yorktown Heights, USA, July 2008. (PDF)

  • M. Helmert, P. Haslum, J. Hoffmann, Explicit-State Abstraction: A New Method for Generating Heuristic Functions, in Proceedings of the 23rd National Conference of the American Association for Artificial Intelligence (AAAI'08), Nectar track, Chicago, USA, July 2008. (PDF)

  • S. Kupferschmid, J. Hoffmann, and K. Larsen, Fast Directed Model Checking via Russian Doll Abstraction, in Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'08), Budapest, Hungary, March--April 2008. (PDF)

  • M. Stollberg, M. Hepp, and J. Hoffmann, A Caching Mechanism for Semantic Web Service Discovery, in Proceedings of the 6th International Semantic Web Conference (ISWC'07), Busan, Korea, November 2007. (PDF)

  • M. Helmert, P. Haslum, J. Hoffmann, Flexible Abstraction Heuristics for Optimal Sequential Planning, in Proceedings of the 17th International Conference on Automated Planning and Scheduling (ICAPS'07), Providence, USA, September 2007. Best paper award. (PDF)

  • J. Hoffmann, P. Bertoli, M. Pistore, Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty, in Proceedings of the 22nd National Conference of the American Association for Artificial Intelligence (AAAI'07), Vancouver, Canada, July 2007. (PDF)

  • P. Bertoli, J. Hoffmann, F. Lecue, M. Pistore, Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code, in Proceedings of the IEEE 2007 International Conference on Web Services (ICWS'07), Salt Lake City, USA, July 2007. (gzip'ed postscript file)

  • C. Gomes, J. Hoffmann, A. Sabharwal, B. Selman, Short XORs for Model Counting: From Theory to Practice, short paper in Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT'07), Lisbon, Portugal, May 2007. (PDF)

  • S. Kupferschmid, J. Hoffmann, K. Draeger, B. Finkbeiner, H. Dierks, A. Podelski, and G. Behrmann, Uppaal/DMC -- Abstraction-based Heuristics for Directed Model Checking, tool paper in in Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07), Braga, Portugal, March 2007. (PDF)

  • J. Hoffmann, H. Kautz, C. Gomes, B. Selman, SAT Encodings of State-Space Reachability Problems in Numeric Domains, in Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI'07), Hyderabad, India, January 2007. (PDF) (bib entry)

  • C. Gomes, J. Hoffmann, A. Sabharwal, B. Selman, From Sampling to Model Counting, in Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI'07), Hyderabad, India, January 2007. Nominated for the best paper award. (PDF) (bib entry)

  • J. Hoffmann, A. Sabharwal, and C. Domshlak, Friends or Foes? An AI Planning Perspective on Abstraction and Search, in Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS'06), The English Lake District, UK, June 2006. Nominated for the best paper award. (PDF) (bib entry)

  • J. Hoffmann, C. Gomes, and B. Selman, Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-based Planning, in Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS'06), The English Lake District, UK, June 2006. (PDF) (bib entry)

  • C. Domshlak and J. Hoffmann, Fast Probabilistic Planning Through Weighted Model Counting, in Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS'06), The English Lake District, UK, June 2006. (PDF) (bib entry)

  • S. Kupferschmid, J. Hoffmann, H. Dierks, and G. Behrmann, Adapting an AI Planning Heuristic for Directed Model Checking, in Proceedings of the 13th International SPIN Workshop on Model Checking of Software (SPIN'06), Vienna, Austria, March/April 2006. (gzip'ed postscript file) (bib entry)

  • J. Hoffmann, S. Kupferschmid, A Covering Problem for Hypercubes, poster paper in Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI'05), Edinburgh, UK, August 2005. (gzip'ed postscript file) (technical report) (bib entry)

  • J. Hoffmann, R. Brafman Contingent Planning via Heuristic Forward Search with Implicit Belief States, in Proceedings of the 15th International Conference on Automated Planning and Scheduling (ICAPS'05), Monterey, CA, USA, June 2005. (gzip'ed postscript file) (bib entry)

  • R. Brafman, J. Hoffmann, Conformant Planning via Heuristic Forward Search: A New Approach, in Proceedings of the 14th International Conference on Automated Planning and Scheduling (ICAPS'04), Whistler, Canada, June 2004. Best paper award. (gzip'ed postscript file) (bib entry)

  • S. Thiebaux, J. Hoffmann, B. Nebel, In Defense of PDDL Axioms, in Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI'03), Acapulco, Mexico, August 2003. (gzip'ed postscript file) (bib entry)

  • J. Hoffmann, H. Geffner, Branching Matters: Alternative Branching in Graphplan, in Proceedings of the 13th International Conference on Automated Planning and Scheduling (ICAPS'03), Trento, Italy, June 2003. (gzip'ed postscript file) (bib entry)

  • J. Hoffmann, Extending FF to Numerical State Variables, in Proceedings of the 15th European Conference on Artificial Intelligence (ECAI'02), Lyon, France, July 2002. (gzip'ed postscript file) (bib entry)

  • J. Hoffmann, Local Search Topology in Planning Benchmarks: A Theoretical Analysis, in Proceedings of the 6th International Conference on Artificial Intelligence Planning and Scheduling (AIPS'02), Toulouse, France, April 2002. (gzip'ed postscript file) (bib entry)

  • J. Hoffmann, B. Nebel, RIFO Revisited: Detecting Relaxed Irrelevance, in Proceedings of the 6th European Conference on Planning (ECP'01), Toledo, Spain, September 2001. (gzip'ed postscript file) (bib entry)

  • J. Porteous, L. Sebastia, J. Hoffmann, On the Extraction, Ordering, and Usage of Landmarks in Planning, in Proceedings of the 6th European Conference on Planning (ECP'01), Toledo, Spain, September 2001. ICAPS'13 influential paper award. (gzip'ed postscript file) (bib entry)

  • J. Hoffmann, Local Search Topology in Planning Benchmarks: An Empirical Analysis, in Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI'01), Seattle, Washington, USA, August 2001. (gzip'ed postscript file) (bib entry)

  • J. Hoffmann, J. Koehler, A new Method to Index and Query Sets, in Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI'99), Stockholm, Sweden, August 1999. (gzip'ed postscript file) (bib entry)

  • J. Koehler, B. Nebel, J. Hoffmann, Y. Dimopolous, Extending Planning Graphs to an ADL Subset, in Proceedings of the 4th European Conference on Planning (ECP'97), Toulouse, France, September 1997, 275-287. ICAPS'08 influential paper award, honorable mention. (gzip'ed postscript file) (bib entry)

Other Conferences & Workshops with Published Proceedings:

  • C. Baier, M. Christakis, T. Gros, D. Groß, S. Gumhold, H. Hermanns, J. Hoffmann, M. Klauck, Lab Conditions for Research on Explainable Automated Decisions (Position Paper), Post-Proceedings of the Workshop on Foundations of Trustworthy AI - Integrating Learning, Optimization and Reasoning (TAILOR'20), 2020.

  • T. Gros, D. Groß, S. Gumhold, J. Hoffmann, M. Klauck, and M. Steinmetz, TraceVis: Towards Visualization for Deep Statistical Model Checking, in Proceedings of the 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'20), 2020. (PDF)

  • R. Faqeh, C. Fetzer, H. Hermanns, J. Hoffmann, M. Klauck, M. Köhl, M. Steinmetz, and C. Weidenbach, Towards Dynamic Dependable Systems through Evidence-Based Continuous Certification, in Proceedings of the 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'20), 2020.

  • K. Rekik, J. Hoffmann, R. Mueller, M. Steinmetz, and M. Vette-Steinkamp, Planning for Human-Robot Collaboration using Markov Decision Processes, in Proceedings of the Robotix Academy Conference for Industrial Robotics (RACIR'19), 2019. (PDF) (bib entry)

  • M. Tagorti, B. Scherrer, O. Buffet, and J. Hoffmann, Abstraction Pathologies In Markov Decision Processes, in Proceedings of 8emes Journees Francophones Planification, Decision, et Apprentissage (JFPDA'13).

  • T. Rauber, P. Kissmann, and J. Hoffmann, Translating Single-Player GDL into PDDL, in Proceedings of the 36th German Conference on Artificial Intelligence (KI'13). (PDF)

  • C. Sarraute, O. Buffet, and J. Hoffmann, Les POMDP font de meilleurs hackers: Tenir compte de l'incertitude dans les tests de p�n�tration, in Proceedings of 7emes Journees Francophones Planification, Decision, et Apprentissage (JFPDA'12).

  • J. Hoffmann, Everything You Always Wanted to Know About Planning (But Were Afraid to Ask), invited paper in Proceedings of the 34th Annual German Conference on Artificial Intelligence (KI'11), 2011. (PDF) (bib entry)

  • G. Babitski, F. Probst, J. Hoffmann, and D. Oberle, Ontology Design for Information Integration in Disaster Management, in Proceedings of the 4th International Workshop on Applications of Semantic Technologies (AST'09). (PDF)

  • M. Born, J. Hoffmann, T. Kaczmarek, M. Kowalkiewicz, I. Markovic, J. Scicluna, I. Weber, and X. Zhou, Supporting Execution-Level Business Process Modeling with Semantic Technologies, in Demo Proceedings of the 14th International Conference on Database Systems for Advanced Applications (DASFAA'09), Brisbane, Australia, April 2009. (PDF)

  • G. Governatori, J. Hoffmann, S. Sadiq, and I. Weber, Detecting Regulatory Compliance for Business Process Models through Semantic Annotations, in Proceedings of the 4th International Workshop on Business Process Design (BPD'08), at BPM'08. Springer-Verlag.

  • J. Smaus and J. Hoffmann, Relaxation Refinement: A New Method to Generate Heuristic Functions, in Proceedings of the 5th International Workshop on Model Checking and Artificial Intelligence (MoChArt'08). Electronic Notes in Theoretical Computer Science. (PDF)

  • I. Weber, G. Governatori, and J. Hoffmann, Approximate Compliance Checking for Annotated Process Models, in Proceedings of the Workshop ``Governance, Risk, and Compliance'' (GRCIS'08), at CAiSE'08. CEUR WS series.

  • I. Weber, J. Hoffmann, and J. Mendling, Semantic Business Process Validation, in Proceedings of the 3rd International Workshop on Semantic Business Process Management (SBPM'08), at ESWC'08. CEUR WS series.

  • M. Born, J. Hoffmann, T. Kaczmarek, M. Kowalkiewicz, I. Markovic, J. Scicluna, I. Weber, and X. Zhou, Semantically Annotating and Composing Business Processes with Maestro, in Demo Proceedings of the 5th European Semantic Web Conference (ESWC'08), Tenerife, Spain, June 2008. (PDF)

  • M. Andrei, A. Berre, L. Costa, P. Duchesne, D. Fitzner, M. Grcar, J. Hoffmann, E. Klien, J. Langlois, A. Limyr, P. Maue, S Schade, N. Steinmetz, F. Tertre, L. Vasiliu, R. Zaharia, and N. Zastavni, SWING: An Integrated Environment for Geospatial Semantic Web Services, in Demo Proceedings of the 5th European Semantic Web Conference (ESWC'08), Tenerife, Spain, June 2008. (PDF)

  • C. Gomes, J. Hoffmann, A. Sabharwal, B. Selman, Sampling and Soundness: Can We Have Both?, in Proceedings of the Workshop ``New forms of reasoning for the Semantic Web: scalable, tolerant and dynamic'', at ISWC'07, Busan, Korea, November 2007. CEUR WS series. (PDF)

  • I. Weber, J. Hoffmann, J. Mendling, and J. Nitzsche, Towards a Methodology for Semantic Business Process Modeling and Configuration, in Post-Proceedings of the 2nd International SeMSoC Workshop on Business Oriented Aspects concerning Semantics and Methodologies in Service-oriented Computing (SemSoc'07). Springer-Verlag. (PDF)

  • J. Hoffmann, T. Kaczmarek, J. Scicluna, I. Weber, Polynomial-Time Reasoning for Semantic Web Service Composition, in Proceedings of the 1st International Workshop on Web Service Composition and Adaptation (WSCA'07) at ICWS'07, Salt Lake City, USA, July 2007.IEEE Computer Society Press.

  • J. Hoffmann, J. Smaus, A. Rybalchenko, S. Kupferschmid, A. Podelski, Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL, in Proceedings of the 4th Workshop on Model Checking and Artificial Intelligence (MoChArt'06), Riva del Garda, Italy, August 2006. Springer-Verlag. (PDF)

  • S. Trueg, J. Hoffmann, B. Nebel, Applying Automatic Planning Techniques to Airport Ground-Traffic Control: A Feasibility Study, in Proceedings of the 27th German Conference on Artificial Intelligence (KI'04), Ulm, Germany, September 2004. (gzip'ed postscript file) (bib entry)

  • J. Hoffmann, A Heuristic for Domain Independent Planning and its Use in an Enforced Hill-climbing Algorithm, in Proceedings of the 12th International Symposium on Methodologies for Intelligent Systems (ISMIS'00), Charlotte, North Carolina, USA, October 2000. (gzip'ed postscript file) (bib entry)


Workshops: (highly incomplete, many of the above conference papers were also published in workshops)

  • C. Jain, L. Cascioli, L. Devos, M. Vinzent, J. Davis, and J. Hoffmann, Safety Verification of Tree-Ensemble Policies via Predicate Abstraction, Proceedings of the Workshop on Reliable Data-Driven Planning and Scheduling (RDDPS), at ICAPS'24.

  • K. Stein, D. Fišer, J. Hoffmann, and A. Koller, Automating the Generation of Prompts for LLM-based Action Choice in PDDL Planning, Proceedings of the Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL), at ICAPS'24.

  • M. Vinzent, M. Wu, H. Wu, and J. Hoffmann, Policy-Specific Abstraction Predicate Selection in Neural Policy Safety Verification, Proceedings of the Workshop on Reliable Data-Driven Planning and Scheduling (RDDPS), at ICAPS'23.

  • M. Vinzent and J. Hoffmann, Neural Policy Verification via Predicate Abstraction: CEGAR, Proceedings of the Workshop on Reliable Data-Driven Planning and Scheduling (RDDPS), at ICAPS'22.

  • M. Steinmetz, A. Kovtunova, S. Borgwardt, and J. Hoffmann, Classical Planning with Avoid Conditions, Proceedings of the Workshop on Heuristics and Search for Domain-independent Planning (HSDIP), at ICAPS'21.

  • R. Eifler M. Brandao, A. Coles, J. Frank, and and J. Hoffmann, Plan-Property Dependencies are Useful: A User Study, Proceedings of the International Workshop of Explainable AI Planning (XAIP'21), at ICAPS'21. (PDF) (Video)

  • M. Vinzent and J. Hoffmann, Neural Network Action Policy Verification via Predicate Abstraction, Proceedings of the Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL), at ICAPS'21. (PDF)

  • M. Steinmetz, T. Gros, P. Heim, D. Höller, and J. Hoffmann, Debugging a Policy: A Framework for Automatic Action Policy Testing, Proceedings of the Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL), at ICAPS'21. (PDF)

  • P. Ferber, F. Geißer, F. Trevizan, M. Helmert, and J. Hoffmann, Neural Network Heuristics for Classical Planning: Reinforcement Learning and Comparison to Other Methods, Proceedings of the Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL), at ICAPS'21.

  • P. Ferber, M. Helmert, and J. Hoffmann, Reinforcement Learning for Planning Heuristics, Proceedings of the Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL), at ICAPS'20.(PDF)

  • M. Fickert, T. Gu, L. Staut, S. Lekyang, W. Ruml, J. Hoffmann, M. Petrik, Real-time Planning as Data-driven Decision-making, Proceedings of the Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL), at ICAPS'20.

  • F. Wiehr, A. Hirsch, A. Krüger, A. Kovtunova, S. Borgwardt, E. Chang, V. Demberg, M. Steinmetz, and J. Hoffmann, Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems, Proceedings of the Workshop on Designing Safety Critical Interactions, at CHI'20.

  • R. Eifler, M. Cashmore, J. Hoffmann, D. Magazzeni, and M. Steinmetz, Explaining the Space of Plans through Plan-Property Dependencies, Proceedings of the 2nd Workshop on Explainable AI Planning (XAIP'19), at ICAPS'19.

  • J. Wichlacz, A. Torralba, and J. Hoffmann, Construction-Planning Models in Minecraft, Proceedings of the 2nd Workshop on Hierarchical Planning, at ICAPS'19.

  • I. Gavran, M. Fickert, I. Fedotov, J. Hoffmann, and R. Majumdar, Simultaneous Re-Planning and Plan Execution for Online Job Arrival, Proceedings of the 11th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'19), at ICAPS'19.

  • M. Schwenger, A. Torralba, J. Hoffmann, D. Howcroft, and Vera Demberg, Using AI Planning Techniques in OpenCCG: Detecting Infeasible Composites in Sentence Generation, Proceedings of the Workshop Planen/Scheduling und Konfigurieren/Entwerfen (PuK'16), at KI'16. (PDF)

  • V. Demberg, J. Hoffmann, D. Howcroft, D. Klakow, and A. Torralba, Search Challenges in Natural Language Generation with Complex Optimization Objectives, Proceedings of the 10th Workshop on Scheduling and Planning Applications (SPARK'16), at ICAPS'16.

  • G. Shani, J. Hoffmann, D. Shmaryahu, and M. Steinmetz, Constructing Plan Trees for Simulated Penetration Testing, Proceedings of the 10th Workshop on Scheduling and Planning Applications (SPARK'16), at ICAPS'16.

  • D. Gnad, M. Wehrle, and J. Hoffmann, Decoupled Strong Stubborn Sets, Proceedings of the 8th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'16), at ICAPS'16.

  • A. Torralba, D. Gnad, P. Dubbert, and J. Hoffmann, On State-Dominance Criteria in Fork-Decoupled Search, Proceedings of the 8th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'16), at ICAPS'16.

  • A. Torralba and J. Hoffmann, Simulation-Based Admissible Dominance Pruning, Proceedings of the 7th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'15), at ICAPS'15.

  • D. Gnad, J. Hoffmann, and C. Domshlak, From Fork Decoupling to Star-Topology Decoupling, Proceedings of the 7th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'15), at ICAPS'15.

  • D. Gnad and J. Hoffmann, Red-Black Planning: A New Tractability Analysis and Heuristic Function, Proceedings of the 7th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'15), at ICAPS'15.

  • J. Hoffmann, M. Steinmetz, and P. Haslum, What Does it Take to Render h^+(\Pi^C) Perfect?, Proceedings of the 6th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'14), at ICAPS'14. (PDF)

  • M. Katz and J. Hoffmann, Pushing the Limits of Partial Delete Relaxation: Red-Black DAG Heuristics, Proceedings of the 6th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'14), at ICAPS'14. (pdf file)

  • J. Hoffmann, P. Kissmann, and A. Torralba, ``Distance''? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability, Proceedings of the 6th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'14), at ICAPS'14. (PDF)

  • M. Krajnansky, O. Buffet, J. Hoffmann, and A. Fern, Learning Pruning Rules for Heuristic Search Planning, Proceedings of the 6th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'14), at ICAPS'14. (pdf file)

  • P. Kissmann, T. Rauber, D. Mueller, and J. Hoffmann, Delete Relaxation and Traps in General Two-Player Zero-Sum Games, Proceedings of the 6th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'14), at ICAPS'14.. (PDF)

  • M. Steinmetz, M. Katz, and J. Hoffmann, Catching Label Subsets for Relaxed Bisimulation: An Abstraction Refinement Approach, Proceedings of the 5th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'13), at ICAPS'13. (pdf file)

  • M. Tagorti, B. Scherrer, O. Buffet, and J. Hoffmann, Abstraction Pathologies In Markov Decision Processes, Proceedings of the 5th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'13), at ICAPS'13. (PDF)

  • C. Sarraute, O. Buffet, and J. Hoffmann, Penetration Testing == POMDP Solving?, Proceedings of the 3rd Workshop on Intelligent Security (SecArt'11), at IJCAI'11. (pdf file)

  • R. Nissim, J. Hoffmann, and M. Helmert, Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning, in Proceedings of the 3rd International Workshop on Heuristics for Domain-independent Planning (HDIP'11), at ICAPS'11. (identical with IJCAI'11 paper, see above)

  • O. Buffet and J. Hoffmann, All that Glitters is not Gold: Using Landmarks for Reward Shaping in FPG, in Proceedings of the Workshop on Planning and Scheduling under Uncertainty, at ICAPS'10. (PDF)

  • J. Hoffmann, I. Weber, and F. Kraft, Planning@SAP: An Application in Business Process Management, in Proceedings of the 2nd International Scheduling and Planning Applications woRKshop (SPARK'09), at ICAPS'09. (PDF)

  • R. Zaharia, L. Vasiliu, J. Hoffmann, and E. Klien, Semantic Execution meets Geospatial Web Services: A Pilot Application, 2nd Terra Cognita Workshop, at ISWC'08.

  • M. Andrei, A. Berre, L. Costa, P. Duchesne, D. Fitzner, M. Grcar, J. Hoffmann, E. Klien, J. Langlois, A. Limyr, P. Maue, S Schade, N. Steinmetz, F. Tertre, L. Vasiliu, R. Zaharia, and N. Zastavni, SWING: A Geospatial Semantic Web Service Environment, in Proceedings of the Workshop ``Semantic Web meets Geospatial Applications'', at AGILE'08, Girona, Spain, May 2008.

  • J. Hoffmann, A Tough Nuts Track for the IPC, in Proceedings of the Workshop International Planning Competition: Past, Present and Future, at ICAPS'07, Providence, USA, September 2007. (PDF)

  • D. Fitzner, J. Hoffmann, Functional Description of Geoprocessing Services as Conjunctive Queries, in Proceedings of the Geographic Information Science Days 2007 (GI-Days 2007), Muenster, Germany, September 2007.

  • A. Sirbu, J. Hoffmann, Scalable Web Service Composition with Partial Matches, in Proceedings of the 2nd KnowledgeWeb PhD Symposium (KWEPSY'07) at ESWC'07, Innsbruck, Austria, June 2007.

  • D. Anicic, M. Brodie, J. de Bruijn, D. Fensel, T. Haselwanter, M. Hepp, S. Heymans, J. Hoffmann, M. Kerrigan, J. Kopecky, R. Krummenacher, H. Lausen, A. Mocan, J. Scicluna, I. Thoma, M. Zaremba, A Semantically Enabled Service Oriented Architecture, in Proceedings of the WICI International Workshop on Web Intelligence (WI) meets Brain Informatics (BI) (WImBI 2006), Bejing, China, December 2006.

  • J. Hoffmann, C. Gomes, B. Selman, Structure and Problem Hardness: Asymmetry and DPLL Proofs in SAT-Based Planning, in Proceedings of the Workshop on Constraint Propagation and Implementation at CP'05, Sitges, Spain, October 2005.

  • B. Becker, M. Behle, F. Eisenbrand, M. Fraenzle, M. Herbstritt, C. Herde, J. Hoffmann, D. Kroening, B. Nebel, I. Polian, R. Wimmer, Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems, in Proceedings of the Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen'', Kaiserslautern, Germany, February 2004.

  • R. Brafman, J. Hoffmann, Conformant Planning via Heuristic Forward Search, in Proceedings of the Workshop on Planning under Uncertainty and Incomplete Information at ICAPS'03, Trento, Italy, June 2003. (gzip'ed postscript file)

  • S. Edelkamp, J. Hoffmann, Quo Vadis, IPC-4? -- Proposals for the Classical Part of the 4th International Planning Competition, in Proceedings of the Workshop on the Competition at ICAPS'03, Trento, Italy, June 2003. (gzip'ed postscript file)

  • S. Thiebaux, J. Hoffmann, B. Nebel, In Defense of PDDL Axioms, in Proceedings of the Workshop on the Competition at ICAPS'03, Trento, Italy, June 2003. (gzip'ed postscript file)

  • J. Hoffmann, B. Nebel, What Makes the Difference Between HSP and FF?, in Proceedings of the Workshop on Empirical Methods in AI at IJCAI'01, Seattle, Washington, USA, August 2001. (gzip'ed postscript file) (bib entry)

  • J. Hoffmann, B. Nebel, Towards Thorough Empirical Methods for AI Planning, in Proceedings of the Workshop on Empirical Methods in AI at IJCAI'01, Seattle, Washington, USA, August 2001. (gzip'ed postscript file) (bib entry)

  • J. Koehler, J. Hoffmann, On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas, in Proceedings of the Workshop on New Results in Planning, Scheduling and Design (PuK2000) at ECAI 2000, Berlin, Germany, August 2000. (gzip'ed postscript file) (bib entry)

  • J. Hoffmann, A Heuristic for Domain Independent Planning and its Use in an Enforced Hill-climbing Algorithm, in Proceedings of the Workshop on New Results in Planning, Scheduling and Design (PuK2000) at ECAI 2000, Berlin, Germany, August 2000. (gzip'ed postscript file) (published at ISMIS, see above)

  • J. Koehler, J. Hoffmann, Planning with Goal Agendas, in Proceedings des 13. Workshop Planen und Konfigurieren auf der 10. Tagung Expertensysteme (XPS-99), Maerz 1999. (gzip'ed postscript file) (longer version published in JAIR, see above)


Other:

  • M. Fickert, D. Gnad, P. Speicher, and J. Hoffmann, SaarPlan: Combining Saarland�s Greatest Planning Techniques, in Proceedings of the 9th International Planning Competition (IPC 2018), at ICAPS'18. (PDF)

  • M. Fickert, J. Hoffmann, OLCFF: Online-Learning hCFF, in Proceedings of the 9th International Planning Competition (IPC 2018), at ICAPS'18. (PDF)

  • D. Gnad, A. Shleyfman, and J. Hoffmann, DecStar: STAR-topology DECoupled Search at its best, in Proceedings of the 9th International Planning Competition (IPC 2018), at ICAPS'18. (PDF)

  • M. Katz and J. Hoffmann, Good Old Mercury Planner, in Proceedings of the 9th International Planning Competition (IPC 2018), at ICAPS'18. (PDF)

  • D. Gnad, M. Steinmetz, and J. Hoffmann, Django: Unchaining the Power of Red-Black Planning, in Proceedings of the 1st Unsolvability International Planning Competition (IPC 2016), at ICAPS'16. (PDF)

  • M. Steinmetz and J. Hoffmann, CLone: A Critical-Path Driven Clause Learner, in Proceedings of the 1st Unsolvability International Planning Competition (IPC 2016), at ICAPS'16. (PDF)

  • D. Gnad, A. Torralba, J. Hoffmann, and M. Wehrle, Decoupled Search for Proving Unsolvability, in Proceedings of the 1st Unsolvability International Planning Competition (IPC 2016), at ICAPS'16. (PDF)

  • A. Torralba J. Hoffmann, and P. Kissmann, MS-Unsat and SimulationDominance: Merge-and-Shrink and Dominance Pruning for Proving Unsolvability, in Proceedings of the 1st Unsolvability International Planning Competition (IPC 2016), at ICAPS'16. (PDF)

  • J. Hoffmann, The TorchLight Tool: Analyzing Search Topology Without Running Any Search, in Proceedings of the Demonstrations Programme, at ICAPS'11. (PDF) (poster)

  • Raz Nissim, J. Hoffmann, and M. Helmert, The Merge-and-Shrink Planner: Bisimulation-based Abstraction for Optimal Planning, in Proceedings of the 7th International Planning Competition (IPC 2011), at ICAPS'11. (PDF)

  • M. Helmert, G. Roeger, J. Seipp, E. Karpas, J. Hoffmann, E. Keyder, R. Nissim, S. Richter, and M. Westphal, Fast Downward Stone Soup, in Proceedings of the 7th International Planning Competition (IPC 2011), at ICAPS'11. (PDF)

  • J. Hoffmann, Suchverfahren fuer Planen und Komposition von Web Services (Search Procedures for Planning and Composition of Web Services), part of J. Sauer, Quo Vadis PuK?, Kuenstliche Intelligenz, 1/07: 29--36, 2007.

  • H. Kautz, B. Selman, and J. Hoffmann, SATPLAN: Planning as Satisfiability, in Proceedings of the 5th International Planning Competition (IPC'06), at ICAPS'06.

  • J. Hoffmann, Conformant-FF, in Proceedings of the 5th International Planning Competition (IPC'06), at ICAPS'06.

  • S. Edelkamp and J. Hoffmann, PDDL2.2: The Language for the Classical Part of IPC-4, in Proceedings of the 4th International Planning Competition (IPC'04), at ICAPS'04.

  • J. Hoffmann, S. Edelkamp, R. Englert, F. Liporace, S. Thiebaux, and S. Trueg, Towards Realistic Benchmarks for Planning: the Domains used in the Classical Part of IPC-4, in Proceedings of the 4th International Planning Competition (IPC'04), at ICAPS'04.

  • J. Hoffmann, Utilizing Problem Structure in Planning: A Local Search Approach, dissertation overview, Kuenstliche Intelligenz, Volumes 1/04 and 2/04, 2004.

  • J. Hoffmann, Der Zweite Internationale Wettbewerb fuer Planungssysteme (The 2nd International Planning Competition), Kuenstliche Intelligenz, 2/01: 37--37, 2001.