- M. Hao,
F. Trevizan,
S. Thiébaux,
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)