Foundations of Artificial Intelligence (FAI) Group

Foundations of Artificial Intelligence (FAI) Group

Home People Research Projects Software Teaching Publications

2024

Thorsten Klößner, Álvaro Torralba, Marcel Steinmetz and Silvan Sievers, Merge-and-Shrink Heuristics for SSPs with Prune Transformations Proceedings of the 27th European Conference on Artificial Intelligence (ECAI'24) , 2024. (PDF)
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. (PDF)
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. (PDF)
D. Fišer, A. Torralba, and J. Hoffmann, Boosting Optimal Symbolic Planning: Operator-Potential Heuristics, Artificial Intelligence Journal, 2024 (PDF)
D. Höller. The TOAD System for Totally Ordered HTN Planning. Journal of Artificial Intelligence Research Volume 80: pages 613–663, 2024. (PDF at JAIR)
T. Gros, N. Müller, D. Höller, and V. Wolf, Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages, Proceedings of the Workshop on Reliable Data-Driven Planning and Scheduling (RDDPS), at ICAPS'24. (PDF)
N. Müller, P. Sanchez, J. Hoffmann, V. Wolf, and T. Gros, Comparing State-of-the-art Graph Neural Networks and Transformers for General Policy Learning, Proceedings of the Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL), at ICAPS'24. (PDF)
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. (PDF)
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. 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), 2024.
S. Lin, D. Höller, and P. Bercher, Modeling Assistance for Hierarchical Planning: An Approach for Correcting Hierarchical Domains with Missing Actions, Proceedings of the 17th International Symposium on Combinatorial Search (SoCS'24), 2024. Best student paper award. (DOI)
A. Taitler, R. Alford, J. Espasa, G. Behnke, D. Fišer, M. Gimelfarb, F. Pommerening, S. Sanner, E. Scala, D. Schreiber, J. Segovia-Aguas, J. Seipp, The 2023 International Planning Competition, AI Magazine, 2024. (doi)
M. Steinmetz, S. Thiebaux, D. Höller, and F. 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'24), 2024.
D. Fišer, M. Steinmetz, Towards Feasible Higher-Dimensional Potential Heuristics, Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS'24), 2024.
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. (PDF)
M. Vinzent and J. Hoffmann, Neural Action Policy Safety Verification: Applicability Filtering, Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS'24), 2024. (PDF) (Technical Report)

2023

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 - Extended Version, Transactions on Modeling and Computer Simulation, 2023.
R. Horčík, D. Fišer, Gaifman Graphs in Lifted Planning, Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023), 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.
Thorsten Klößner, Jendrik Seipp and Marcel Steinmetz, Cartesian Abstractions and Saturated Cost Partitioning in Probabilistic Planning, Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023), 2023. (PDF) (Online Appendix)
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). (PDF)
A. Siji, R. Eifler, D. Fišer, and J. Hoffmann, Action Policy Explanations in Oversubscription Planning, Proceedings of the International Workshop of Human-Aware and Explainable Planning (HAXP'23), at ICAPS'23. (PDF)
X. Schuler, J. Eisenhut, D. Höller, D. Fišer, and J. Hoffmann, Action Policy Testing with Heuristic-Based Bias Functions, Proceedings of the Workshop on Reliable Data-Driven Planning and Scheduling (RDDPS'23), at ICAPS'23. (PDF)
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.
D. Fišer, Operator Pruning using Lifted Mutex Groups via Compilation on Lifted Level, Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS'23), 2023. Best paper award, Runner Up (PDF)
T. Klößner, A. Torralba, M. Steinmetz, and S. Sievers, A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems, Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS'23), 2023. (PDF) (Technical Report)
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. (PDF) (Technical Report)

2022

T. Gros, H. Hermanns, J. Hoffmann, M. Klauck, and M. Steinmetz, Analyzing Neural Network Behavior through Deep Statistical Model Checking, International Journal on Software Tools for Technology Transfer, 2022.
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. (PDF)
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. (PDF)
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. 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). (PDF)
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.
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. (PDF at AAAI)
D. Gnad, A. Torralba, and D. Fišer, Beyond Stars - Generalized Topologies for Decoupled Search, Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS'22), 2022. (PDF at AAAI)
D. Höller and G. Behnke, Encoding Lifted Classical Planning in Propositional Logic, Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS'22), 2022.
D. Höller, J. Wichlacz, P. Bercher, and G. Behnke, Compiling HTN Plan Verification Problems into HTN Planning Problems, Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS'22), 2022.
T. Klößner, F. Pommerening, T. Keller, and G. Röger, Cost Partitioning Heuristics for Stochastic Shortest Path Problems, Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS'22), 2022. Best student paper award, runner-up. (PDF) (Technical Report)
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. (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)
M. Fickert and J. Hoffmann, Online Relaxation Refinement for Satisficing Planning: On Partial Delete Relaxation, Complete Hill-Climbing, and Novelty Pruning, Journal of Artificial Intelligence Research, Volume 73, pages 67-115, 2022. (PDF at JAIR)
M. Fickert, T. Gu, and W. Ruml, New Results in Bounded-Suboptimal Search, Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI'22), 2022. (PDF)
G. Behnke, F. Pollitt, D. Höller, P. Bercher, and R. Alford, Making Translations to Classical Planning Competitive With Other HTN Planners, Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI'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). (PDF at AAAI)
R. Horčík, D. Fišer, and A. Torralba, Homomorphisms of Lifted Planning Tasks: The Case for Delete-free Relaxation Heuristics, Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI'22), 2022. (PDF at AAAI)
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.

2021

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.
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)
D. Fišer, A. Torralba, and J. Hoffmann, Introducing Operator-Potential Heuristics for Symbolic Search, Proceedings of the Workshop on Heuristics and Search for Domain-independent Planning (HSDIP), at ICAPS'21.
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)
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.
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. Lauer, 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), 2021. (PDF, BibTex, Talk)
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. (PDF)
Also appears in the Workshop on Heuristics and Search for Domain-independent Planning (HSDIP) at the 31th International Conference on Automatic Planning and Scheduling (ICAPS'21)
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)
M. Fickert, T. Gu, and W. Ruml, Bounded-Cost Search Using Estimates of Uncertainty, Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI'21), 2021. (PDF)
P. Bercher, D. Höller, G. Behnke, S. Biundo, V. Shivashankar, and R. Alford, Report on the First and Second ICAPS Workshops on Hierarchical Planning. AI Magazine, Volume 42, 83–85, 2021. (PDF, BibTeX, online)
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. (PDF)
R. Horčík and D. Fišer, Endomorphisms of Lifted Planning Problems, Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS'21), 2021. (PDF at AAAI)
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. (PDF)
D. Höller, Translating Totally Ordered HTN Planning Problems to Classical Planning Problems Using Regular Approximation of Context-Free Languages, Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS'21), 2021.
D. Höller and G. Behnke, Loop Detection in the PANDA Planning System, Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS'21), 2021.
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.
D. Höller, G. Behnke, P. Bercher, and S. Biundo, The PANDA Framework for Hierarchical Planning, Künstliche Intelligenz, 2021. (PDF)
D. Gnad, Revisiting Dominance Pruning in Decoupled Search, Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI'21), 2021. (PDF) (HSDIP version)
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. (PDF)
D. Höller and P. Bercher, Landmark Generation in HTN Planning, 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)
R. Horčík and D. Fišer, Endomorphisms of Classical Planning Tasks, Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI'21), 2021. (PDF at AAAI)
A. Torralba, On the Optimal Efficiency of A* with Dominance Pruning, Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI'21), 2021.

2020

N. Tran, P. Speicher, R. Kuennemann, M. Backes, A. Torralba, and J. Hoffmann, Planning in the Browser, System Demonstration at the 30th International Conference on Automated Planning and Scheduling (ICAPS'20). (PDF) (DEMO)
A. Torralba, On the Optimal Efficiency of A* with Dominance Pruning , Workshop on Heuristics and Search for Domain-independent Planning (HSDIP) at the International Conference on Automatic Planning and Scheduling. (ICAPS'20)
A. Torralba, J.Seipp and S. Sievers, Automatic Configuration of Benchmark Sets for Classical Planning , Workshop on Heuristics and Search for Domain-independent Planning (HSDIP) at the International Conference on Automatic Planning and Scheduling. (ICAPS'20)
R. Eifler and J. Hoffmann, A Web-Based Platform for Iterative Planning with Plan Explanations, System Demonstration at the 30th International Conference on Automated Planning and Scheduling (ICAPS'20) (PDF) (Video)
R. Eifler and J. Hoffmann, Iterative Planning with Plan-Space Explanations: A Tool and User Study, Proceedings of the International Workshop of Explainable AI Planning (XAIP'20), at ICAPS'20. (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.
P. Lauer, M. Fickert, Beating LM-cut with LM-cut: Quick Cutting and Practical Tie Breaking for the Precondition Choice Function, Proceedings of the 12th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'20), at ICAPS'20. (PDF, BibTex, Talk)
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.
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.
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.
C. Beck, O. Buffet, J. Hoffmann, E. Karpas, and S. Sohrabi (eds.), Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS'20), AAAI Press, 2020.
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.
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)
D. Höller, P. Bercher, and G. Behnke, Delete- and Ordering-Relaxation Heuristics for HTN Planning, Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI'20), 2020.
Also appears in the Workshop on Hierarchical Planning at the 30th International Conference on Automatic Planning and Scheduling (ICAPS'20)

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 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)
Also appears in the Workshop on Hierarchical Planning at the 30th International Conference on Automatic Planning and Scheduling (ICAPS'20)

D. Höller, P. Bercher, G. Behnke, and S. Biundo. HTN Plan Repair via Model Transformation, in Proceedings of the 43rd German Conference on Artificial Intelligence (KI'20), Bamberg, Germany, 2020. (PDF)

M. Klauck, M. Steinmetz, J. Hoffmann, and H. Hermanns, Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison, Journal of Artificial Intelligence Research, Volume 68, pages 247-310, 2020.

D. Höller, P. Bercher, G. Behnke, and S. Biundo, HTN Planning as Heuristic Progression Search, Journal of Artificial Intelligence Research 67: pp. 835–880, 2020. (PDF)

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

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.

M. Fickert, A Novel Lookahead Strategy for Delete Relaxation Heuristics in GBFS, Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS'20), Nancy, France, 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)

J. Gross, A. Torralba, and M. Fickert, Novel Is Not Always Better: On the Relation between Novelty and Dominance Pruning,
Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI'20), New York City, USA 2020.(PDF) ( slides)

G. Behnke, D. Höller, A. Schmid, P. Bercher, and S. Biundo, On Succinct Groundings of HTN Planning Problems, Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI'20), New York City, USA, 2020. (PDF)

D. Höller, G. Behnke, P. Bercher, S. Biundo H. Fiorino, D. Pellier, and R. Alford, HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems, Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI'20), New York City, USA, 2020. (PDF)

D. Höller and P. Bercher. Landmark Extraction in HTN Planning. In: Proceedings of the 3rd ICAPS Workshop on Hierarchical Planning (HPlan'20). 2020.

2019

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)

A. Torralba and S. Sievers, Merge-and-Shrink Task Reformulation for Classical Planning, Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI'19)

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).

S. Franco, A. Torralba Interleaving Search and Heuristic Improvement, Proceedings of the 12th Annual Symposium on Combinatorial Search (SOCS'19), 2019.

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. (PDF) (models)

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. (PDF)

D. Gnad, J. Hoffmann, and M. Wehrle, Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search, Journal of Artificial Intelligence Research, Volume 65, pages 343-392, 2019. (PDF at JAIR)

D. Shmaryahu, G. Shani, and J. Hoffmann, Comparative Criteria for Partially Observable Contingent Planning, Autonomous Agents and Multi-Agent Systems, 2019.

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)

M. Steinmetz, A. Torralba, Bridging the Gap Between Abstractions and Critical-Path Heuristics via Hypergraphs, Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS'19), Berkeley, CA, USA, 2019. (PDF) (Technical Report)

D. Speck, F. Geisser, R. Mattmueller, A. Torralba, Symbolic Planning with Axioms, Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS'19), Berkeley, CA, USA, 2019.

Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz, The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report), Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019. (doi)

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.

D. Gnad, A. Torralba, M. Dominguez, C. Areces, F. Bustos, Learning How to Ground a Plan - Partial Grounding in Classical Planning, Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI'19), Honolulu, USA, 2019. (PDF)

D. Fišer, A. Torralba, A. Shleyfman, Operator Mutexes and Symmetries for Simplifying Planning Tasks, Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI'19), Honolulu, USA, 2019. (PDF)

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

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)

2018

M. Fickert, Making Hill-Climbing Great Again through Online Relaxation Refinement and Novelty Pruning, Proceedings of the 11th Annual Symposium on Combinatorial Search (SOCS'18), Stockholm, Sweden, 2018. (PDF)

R. Eifler and M. Fickert, Online Refinement of Cartesian Abstraction Heuristics, Proceedings of the 11th Annual Symposium on Combinatorial Search (SOCS'18), Stockholm, Sweden, 2018. (PDF)

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, 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.

D. Gnad and J. Hoffmann, Star-Topology Decoupled State Space Search, Artificial Intelligence, Volume 257, pages 24-60, 2018. (Preprint PDF) (doi: 10.1016/j.artint.2017.12.004) (bib entry)

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)

A. Torralba, Carlos Linares López, Daniel Borrajo, Symbolic Perimeter Abstraction Heuristics for Cost-Optimal Planning. Artificial Intelligence Journal volume 259, pages 1–31, 2018 (PDF)

2017

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) (HSDIP version)

A. Torralba, From Qualitative to Quantitative Dominance Pruning, Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), Melbourne, Australia, 2017. (PDF) (HSDIP version) (slides)

S. Franco, A. Torralba, L. Lelis, and M. Barley, On Creating Complementary Pattern Databases, Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), Melbourne, Australia, 2017.

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. Steinmetz and J. Hoffmann, State Space Search Nogood Learning: Online Refinement of Critical-Path Dead-End Detectors in Planning, Artificial Intelligence, Volume 245, pages 1-37. (Preprint PDF) (doi: 10.1016/j.artint.2016.12.002) (bib entry)

A. Torralba, V. Alcazar, P. Kissmann, S. Edelkamp, Efficient Symbolic Search for Cost-Optimal Planning. Artificial Intelligence, volume 242, pages 52-79, 2017.

2016

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. (PDF)

M. Steinmetz, J. Hoffmann, and O. Buffet, Goal Probability Analysis in MDP Probabilistic Planning: Exploring and Enhancing the State of the Art, Journal of Artificial Intelligence Research, Volume 57, 2016, pages 229-271. (PDF at JAIR) (bib entry)

D. Gnad, M. Wehrle, and J. Hoffmann, Decoupled Strong Stubborn Sets (Extended Abstract), in Proceedings of the 39th German Conference on Artificial Intelligence (KI'16), Klagenfurt, Austria, 2016. (PDF)

M. Steinmetz and J. Hoffmann, Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends (Extended Abstract), in Proceedings of the 39th German Conference on Artificial Intelligence (KI'16), Klagenfurt, Austria, 2016. (PDF)

A. Torralba, SymPA: Symbolic Perimeter Abstractions for Proving Unsolvability, in Proceedings of the 1st Unsolvability International Planning Competition (IPC 2016), at ICAPS'16. (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)

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)

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)

A. Torralba, C. Linares Lopez, and D. Borrajo, Abstraction Heuristics for Symbolic Bidirectional Search, Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI'16), New York, USA, 2016. (PDF) (Technical Report)

M. Fickert, J. Hoffmann, and M. Steinmetz, Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization, Journal of Artificial Intelligence Research, Volume 56, 2016, pages 269-327. (PDF at JAIR) (bib entry)

Vera Demberg, J. Hoffmann, David Howcroft, Dietrich Klakow, and Alvaro 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.

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)

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)

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)

2015

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) (slides)

A. Torralba and P. Kissmann Focusing on What Really Matters: Irrelevance Pruning in Merge-and-Shrink.
Proceedings of the 8th Annual Symposium on Combinatorial Search (SOCS'15), Ein Gedi, Israel, 2015. Best paper award. (PDF) (slides)

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)

C. Domshlak, J. Hoffmann, and M. Katz, Red-Black Planning: A New Systematic Approach to Partial Delete Relaxation, Artificial Intelligence, Volume 221, 2015, pages 73-114. (Preprint PDF) (doi: 10.1016/j.artint.2014.12.008) (bib entry)

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 hmax (Sometimes): Fork-Decoupled State Space Search, Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS'15), Jerusalem, Israel, 2015. (PDF) 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 hFF(PiC) in Polynomial Time, Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS'15), Jerusalem, Israel, 2015. (PDF)

V. Alcazar and A. Torralba, A Reminder about the Importance of Computing and Exploiting Invariants in Planning, Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS'15), Jerusalem, Israel, 2015. (PDF) (slides)

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. (PDF; conference version at IJCAI'15 see above)

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.

S. Edelkamp, P. Kissmann and A. Torralba BDDs Strike Back (in AI Planning), Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI'15), Austin, Texas, USA, 2015. (PDF)

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)

2014

P. Kissmann and J. Hoffmann, BDD Ordering Heuristics for Classical Planning, Research Note, Journal of Artificial Intelligence Research, Volume 51, 2014, pages 779-804. (PDF at JAIR) (bib entry)

M. Katz, J. Hoffmann, Mercury Planner: Pushing the Limits of Partial Delete Relaxation, Eighth International Planning Competition (IPC 2014), Deterministic Part. (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, August 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, August 2014. (PDF)

E. Keyder, J. Hoffmann, and P. Haslum, Improving Delete Relaxation Heuristics Through Explicitly Represented Conjunctions, Journal of Artificial Intelligence Research, Volume 50, 2014, pages 487-533. (PDF at JAIR) (bib entry)

S. Edelkamp, P. Kissmann, M. Rothe, Symbolic and Explicit Search Hybrid through Perfect Hash Functions - A Case Study in Connect Four, in Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS'14), Portsmouth, USA, 2014.

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)

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)

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)

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. Helmert, P. Haslum, J. Hoffmann, and Raz Nissim, Merge & Shrink Abstraction: A Method for Generating Lower Bounds in Factored State Spaces, Journal of the ACM, Volume 61, Number 3, 2014. (PDF) (doi: 10.1145/2559951) (bib entry)

2013

A. Gal, M. Katz, T. Sagi, M. Weidlich, K. Aberer, Z. Miklos, H. Viet, E. Levy, V. Shafran, Completeness and Ambiguity of Schema Cover, in Proceedings of the 21st International Conference on Cooperative Information Systems (CoopIS 2013).

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), Koblenz, Germany, 2013.

S. Edelkamp, M. Rohte, P. Kissmann, Combining Symbolic with Bitvector Memory-Limited Search for Solving Games, in Proceedings of the 27th KI-Workshop on Planung / Scheduling und Konfigurieren / Entwerfen (PuK'13), Koblenz, Germany, 2013.

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 23rd 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 23rd International Conference on Automated Planning and Scheduling (ICAPS'13), Rome, Italy, 2013. (PDF)

C. Domshlak, M. Katz, and A. Shleyfman, Symmetry Breaking: Satisficing Planning and Landmark Heuristics, in Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS'13), Rome, Italy, 2013.

Á. Torralba, S. Edelkamp, and P. Kissmann, Transition Trees for Cost-Optimal Symbolic Planning, in Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS'13), Rome, Italy, 2013.

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)

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)

2012

J. Hoffmann and B. Selman, Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI'12), AAAI Press, 2012.

J. Hoffmann, I. Weber, and F. Kraft, SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management , Journal of Artificial Intelligence Research, Volume 44, 2012, pages 587-632. (PDF at JAIR) (bib entry) (source code and PDDL)

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)

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)

S. Edelkamp, T. Federholzner, and P. Kissmann, Searching with Partial Belief States in General Games with Incomplete Information, in Proceedings of the 35th German Conference on Artificial Intelligence (KI'12), Saarbrücken, Germany, 2012.

S. Edelkamp, P. Kissmann, and Á. Torralba, Symbolic A* Search with Pattern Databases and the Merge-and-Shrink Abstraction, in Proceedings of the 20th European Conference on Artificial Intelligence (ECAI'12), Montpellier, France, 2012.

S. Edelkamp, P. Kissmann, and Á. Torralba, Advances in BDD Search: Filtering, Partitioning, and Bidirectionally Blind, in Proceedings of the 3rd ICAPS-Workshop on the International Planning Competition (IPC'12), São Paulo, Brazil, 2012.

S. Edelkamp, P. Kissmann, and Á. Torralba, Symbolic A* Search with Pattern Databases and the Merge-and-Shrink Abstraction, in Proceedings of the 4th ICAPS-Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP'12), São Paulo, Brazil, 2012.

S. Edelkamp, P. Kissmann, and Á. Torralba: Lex-Partitioning: A New Option for BDD Search, in Proceedings of the 1st Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE'12), Tallinn, Estonia, 2012.

M. Katz and E. Keyder, Structural Patterns Beyond Forks: Extending the Complexity Boundaries of Classical Planning, in Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI'12), Toronto, Canada, 2012. (PDF)

C. Domshlak, M. Katz, and A. Shleyfman, Enhanced Symmetry Breaking in Cost-Optimal Planning as Forward Search, in Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS'12), Sao Paulo, Brasil, 2012. (PDF)

C. Domshlak, M. Katz, and S. Lefler, Landmark-Enhanced Abstraction Heuristics, Artificial Intelligence, volume 189, pp 48-68, 2012. (Abstract + PDF)

Imprint

Data protection