Jörg Hoffmann

246 papers A* 90A 22B 20C 3Misc 4Journal 68Unranked 34
YearRankTypeTitle / Venue / Authors
2026 J jnl
Per-Domain Generalizing Policies: On Learning Efficient and Robust Q-Value Functions (Extended Version with Technical Appendix).
CoRR
Nicola J. Müller, Moritz Oster, Isabel Valera, Jörg Hoffmann, Timo P. Gros
2026 A* conf
Probabilistic Safety Verification of Neural Policies via Predicate Abstraction.
AAAI
Marcel Vinzent, Holger Hermanns, Jörg Hoffmann
2025 A conf
An Operator-Centric Trustable Decision-Making Tool for Planning Ground Logistic Operations of Beluga Aircraft.
ECAI
Rebecca Eifler, Nika Beriachvili, Arthur Bit-Monnot, Dillon Z. Chen, Jan Eisenhut, Jörg Hoffmann, Sylvie Thiébaux, Florent Teichteil-Königsbuch
2025 J jnl
Improved Generalized Planning with LLMs through Strategy Refinement and Reflection.
CoRR
Katharina Stein, Nils Hodel, Daniel Fiser, Jörg Hoffmann, Michael Katz, Alexander Koller
2025 A conf
Is This a Good Decision? Action Optimality Checking in Classical Planning.
ECAI
Jan Eisenhut, Daniel Fiser, Wheeler Ruml, Jörg Hoffmann
2025 J jnl
Per-Domain Generalizing Policies: On Validation Instances and Scaling Behavior.
CoRR
Timo P. Gros, Nicola J. Müller, Daniel Fiser, Isabel Valera, Verena Wolf, Jörg Hoffmann
2025 J jnl
Planning Ahead with RSA: Efficient Signalling in Dynamic Environments by Projecting User Awareness across Future Timesteps.
CoRR
Anwesha Das, John Duff, Jörg Hoffmann, Vera Demberg
2025 A conf
Policy Safety Testing in Non-Deterministic Planning: Fuzzing, Test Oracles, Fault Analysis.
ECAI
Chaahat Jain, Daniel Sherbakov, Marcel Vinzent, Marcel Steinmetz, Jesse Davis, Jörg Hoffmann
2025 — conf
Visual Analysis of Action Policy Behavior: A Case Study in Grid-World Driving.
xAI (Late-breaking Work, Demos, Doctoral Consortium)
Timo P. Gros, David Groß, Julius Kamp, Stefan Gumhold, Jörg Hoffmann
2024 J jnl
Boosting optimal symbolic planning: Operator-potential heuristics.
Artif. Intell.
Daniel Fiser, Álvaro Torralba, Jörg Hoffmann
2024 A conf
Decision-Focused Learning to Predict Action Costs for Planning.
ECAI
Jayanta Mandi, Marco Foschini, Daniel Höller, Sylvie Thiébaux, Jörg Hoffmann, Tias Guns
2024 J jnl
Decision-Focused Learning to Predict Action Costs for Planning.
CoRR
Jayanta Mandi, Marco Foschini, Daniel Höller, Sylvie Thiébaux, Jörg Hoffmann, Tias Guns
2024 A* conf
Guiding GBFS through Learned Pairwise Rankings.
IJCAI
Mingyu Hao, Felipe W. Trevizan, Sylvie Thiébaux, Patrick Ferber, Jörg Hoffmann
2024 A conf
Iterative Oversubscription Planning with Goal-Conflict Explanations: Scaling Up Through Policy-Guidance Approximation.
ECAI
Rebecca Eifler, Daniel Fiser, Aleena Siji, Jörg Hoffmann
2024 A* conf
Neural Action Policy Safety Verification: Applicablity Filtering.
ICAPS
Marcel Vinzent, Jörg Hoffmann
2024 A* conf
New Fuzzing Biases for Action Policy Testing.
ICAPS
Jan Eisenhut, Xandra Schuler, Daniel Fiser, Daniel Höller, Maria Christakis, Jörg Hoffmann
2024 A conf
Safety Verification of Tree-Ensemble Policies via Predicate Abstraction.
ECAI
Chaahat Jain, Lorenzo Cascioli, Laurens Devos, Marcel Vinzent, Marcel Steinmetz, Jesse Davis, Jörg Hoffmann
2023 A conf
A Landmark-Cut Heuristic for Lifted Optimal Planning.
ECAI
Julia Wichlacz, Daniel Höller, Daniel Fiser, Jörg Hoffmann
2023 J jnl
Analyzing neural network behavior through deep statistical model checking.
Int. J. Softw. Tools Technol. Transf.
Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
2023 A* conf
Automatic Metamorphic Test Oracles for Action-Policy Testing.
ICAPS
Jan Eisenhut, Álvaro Torralba, Maria Christakis, Jörg Hoffmann
2023 J jnl
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning - Extended Version.
ACM Trans. Model. Comput. Simul.
Timo P. Gros, Joschka Groß, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, Nicola J. Müller, Lukas Schaller, Verena Wolf
2023 A* conf
Lifted Stackelberg Planning.
ICAPS
Philipp Sauer, Marcel Steinmetz, Robert Künnemann, Jörg Hoffmann
2023 A* conf
Neural Policy Safety Verification via Predicate Abstraction: CEGAR.
AAAI
Marcel Vinzent, Siddhant Sharma, Jörg Hoffmann
2023 A* conf
Specifying and Testing k-Safety Properties for Machine-Learning Models.
IJCAI
Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla, Valentin Wüstholz
2022 A* conf
Classical Planning with Avoid Conditions.
AAAI
Marcel Steinmetz, Jörg Hoffmann, Alisa Kovtunova, Stefan Borgwardt
2022 A* conf
Debugging a Policy: Automatic Action-Policy Testing in AI Planning.
ICAPS
Marcel Steinmetz, Daniel Fiser, Hasan Ferit Eniser, Patrick Ferber, Timo P. Gros, Philippe Heim, Daniel Höller, Xandra Schuler, Valentin Wüstholz, Maria Christakis, Jörg Hoffmann
2022 A* conf
Evaluating Plan-Property Dependencies: A Web-Based Platform and User Study.
ICAPS
Rebecca Eifler, Martim Brandao, Amanda Jane Coles, Jeremy Frank, Jörg Hoffmann
2022 A* conf
Explaining Soft-Goal Conflicts through Constraint Relaxations.
IJCAI
Rebecca Eifler, Jeremy Frank, Jörg Hoffmann
2022 — conf
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract).
Description Logics
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
2022 J jnl
Expressivity of Planning with Horn Description Logic Ontologies (Technical Report).
CoRR
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
2022 A* conf
Expressivity of Planning with Horn Description Logic Ontologies.
AAAI
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
2022 C conf
Glyph-Based Visual Analysis of Q-Leaning Based Action Policy Ensembles on Racetrack.
IV
David Groß, Michaela Klauck, Timo P. Gros, Marcel Steinmetz, Jörg Hoffmann, Stefan Gumhold
2022 A* conf
Landmark Heuristics for Lifted Classical Planning.
IJCAI
Julia Wichlacz, Daniel Höller, Jörg Hoffmann
2022 A* conf
Merge and Shrink Abstractions for Temporal Planning.
ICAPS
Martim Brandao, Amanda Jane Coles, Andrew Coles, Jörg Hoffmann
2022 A conf
Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing.
ISSTA
Hasan Ferit Eniser, Timo P. Gros, Valentin Wüstholz, Jörg Hoffmann, Maria Christakis
2022 — conf
MoGym: Using Formal Models for Training and Verifying Decision-making Agents.
CAV (2)
Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Verena Wolf
2022 A* conf
Neural Network Action Policy Verification via Predicate Abstraction.
ICAPS
Marcel Vinzent, Marcel Steinmetz, Jörg Hoffmann
2022 A* conf
Neural Network Heuristic Functions for Classical Planning: Bootstrapping and Comparison to Other Methods.
ICAPS
Patrick Ferber, Florian Geißer, Felipe W. Trevizan, Malte Helmert, Jörg Hoffmann
2022 B conf
Neural Network Heuristic Functions: Taking Confidence into Account.
SOCS
Daniel Heller, Patrick Ferber, Julian Bitterwolf, Matthias Hein, Jörg Hoffmann
2022 J jnl
Online Relaxation Refinement for Satisficing Planning: On Partial Delete Relaxation, Complete Hill-Climbing, and Novelty Pruning.
J. Artif. Intell. Res.
Maximilian Fickert, Jörg Hoffmann
2022 A* conf
Operator-Potential Heuristics for Symbolic Search.
AAAI
Daniel Fiser, Álvaro Torralba, Jörg Hoffmann
2022 A* conf
Operator-Potentials in Symbolic Search: From Forward to Bi-directional Search.
ICAPS
Daniel Fiser, Álvaro Torralba, Jörg Hoffmann
2022 A* conf
Pattern Selection Strategies for Pattern Databases in Probabilistic Planning.
ICAPS
Thorsten Klößner, Marcel Steinmetz, Álvaro Torralba, Jörg Hoffmann
2022 J jnl
Specifying and Testing k-Safety Properties for Machine-Learning Models.
CoRR
Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla, Valentin Wüstholz
2021 — conf
Automated Safety Verification of Programs Invoking Neural Networks.
CAV (1)
Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jörg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wüstholz
2021 A* conf
Choosing the Initial State for Online Replanning.
AAAI
Maximilian Fickert, Ivan Gavran, Ivan Fedotov, Jörg Hoffmann, Rupak Majumdar, Wheeler Ruml
2021 A* conf
Custom-Design of FDR Encodings: The Case of Red-Black Planning.
IJCAI
Daniel Fiser, Daniel Gnad, Michael Katz, Jörg Hoffmann
2021 — conf
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning.
QEST
Timo P. Gros, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, Verena Wolf
2021 A* conf
Faster Stackelberg Planning via Symbolic Search and Information Sharing.
AAAI
Álvaro Torralba, Patrick Speicher, Robert Künnemann, Marcel Steinmetz, Jörg Hoffmann
2021 B conf
Landmark Heuristics for Lifted Planning - Extended Abstract.
SOCS
Julia Wichlacz, Daniel Höller, Jörg Hoffmann
2021 A* conf
Learning Temporal Plan Preferences from Examples: An Empirical Study.
IJCAI
Valentin Seimetz, Rebecca Eifler, Jörg Hoffmann
2021 — conf
Making DL-Lite Planning Practical (Extended Abstract).
Description Logics
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz
2021 A* conf
Making DL-Lite Planning Practical.
KR
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz
2021 — conf
Model Checking ømega-Regular Properties with Decoupled Search.
CAV (2)
Daniel Gnad, Jan Eisenhut, Alberto Lluch-Lafuente, Jörg Hoffmann
2021 A* conf
Pattern Databases for Goal-Probability Maximization in Probabilistic Planning.
ICAPS
Thorsten Klößner, Jörg Hoffmann, Marcel Steinmetz, Álvaro Torralba
2021 B conf
Pattern Databases for Stochastic Shortest Path Problems.
SOCS
Thorsten Klößner, Jörg Hoffmann
2021 A* conf
Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning.
IJCAI
Pascal Lauer, Álvaro Torralba, Daniel Fiser, Daniel Höller, Julia Wichlacz, Jörg Hoffmann
2021 B conf
Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD.
ICMI
Frederik Wiehr, Anke Hirsch, Lukas Schmitz, Nina Knieriemen, Antonio Krüger, Alisa Kovtunova, Stefan Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Jörg Hoffmann
2020 A* conf
A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning.
AAAI
Rebecca Eifler, Michael Cashmore, Jörg Hoffmann, Daniele Magazzeni, Marcel Steinmetz
2020 B conf
Applying Monte-Carlo Tree Search in HTN Planning.
SOCS
Julia Wichlacz, Daniel Höller, Álvaro Torralba, Jörg Hoffmann
2020 A* conf
Beliefs We Can Believe in: Replacing Assumptions with Data in Real-Time Search.
AAAI
Maximilian Fickert, Tianyi Gu, Leonhard Staut, Wheeler Ruml, Jörg Hoffmann, Marek Petrik
2020 J jnl
Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison.
J. Artif. Intell. Res.
Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns
2020 C conf
Deep Statistical Model Checking.
FORTE
Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
2020 B conf
Generating Instructions at Different Levels of Abstraction.
COLING
Arne Köhn, Julia Wichlacz, Álvaro Torralba, Daniel Höller, Jörg Hoffmann, Alexander Koller
2020 J jnl
Generating Instructions at Different Levels of Abstraction.
CoRR
Arne Köhn, Julia Wichlacz, Álvaro Torralba, Daniel Höller, Jörg Hoffmann, Alexander Koller
2020 J jnl
Iterative Planning with Plan-Space Explanations: A Tool and User Study.
CoRR
Rebecca Eifler, Jörg Hoffmann
2020 — conf
Lab Conditions for Research on Explainable Automated Decisions.
TAILOR
Christel Baier, Maria Christakis, Timo P. Gros, David Groß, Stefan Gumhold, Holger Hermanns, Jörg Hoffmann, Michaela Klauck
2020 A* conf
Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking.
AAAI
Jörg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni
2020 B conf
MC-Saar-Instruct: a Platform for Minecraft Instruction Giving Agents.
SIGdial
Arne Köhn, Julia Wichlacz, Christine Schäfer, Álvaro Torralba, Jörg Hoffmann, Alexander Koller
2020 A conf
Neural Network Heuristics for Classical Planning: A Study of Hyperparameter Space.
ECAI
Patrick Ferber, Malte Helmert, Jörg Hoffmann
2020 A* conf
Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties.
IJCAI
Rebecca Eifler, Marcel Steinmetz, Álvaro Torralba, Jörg Hoffmann
2020 — ch.
Planen.
Handbuch der Künstlichen Intelligenz
Jörg Hoffmann, Malte Helmert, Daniel Gnad, Florian Pommerening
2020 A* ed.
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020
ICAPS
J. Christopher Beck, Olivier Buffet, Jörg Hoffmann, Erez Karpas, Shirin Sohrabi
2020 J jnl
Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems.
CoRR
Frederik Wiehr, Anke Hirsch, Florian Daiber, Antonio Krüger, Alisa Kovtunova, Stefan Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Jörg Hoffmann
2020 — conf
Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification.
ISoLA (2)
Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Marcel Steinmetz, Christoph Weidenbach
2020 — conf
TraceVis: Towards Visualization for Deep Statistical Model Checking.
ISoLA (4)
Timo P. Gros, David Groß, Stefan Gumhold, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
2020 J jnl
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning - Extended Version.
CoRR
Timo P. Gros, Daniel Höller, Jörg Hoffmann, Verena Wolf
2020 — conf
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning.
QEST
Timo P. Gros, Daniel Höller, Jörg Hoffmann, Verena Wolf
2019 A* conf
Advanced Factoring Strategies for Decoupled Search Using Linear Programming.
ICAPS
Frederik Schmitt, Daniel Gnad, Jörg Hoffmann
2019 A conf
Comparative Criteria for Partially Observable Contingent Planning.
AAMAS
Dorin Shmaryahu, Jörg Hoffmann, Guy Shani
2019 J jnl
Comparative criteria for partially observable contingent planning.
Auton. Agents Multi Agent Syst.
Dorin Shmaryahu, Guy Shani, Jörg Hoffmann
2019 — conf
Explainable AI Planning (XAIP): Overview and the Case of Contrastive Explanation (Extended Abstract).
RW
Jörg Hoffmann, Daniele Magazzeni
2019 A* conf
On the Relation between Star-Topology Decoupling and Petri Net Unfolding.
ICAPS
Daniel Gnad, Jörg Hoffmann
2019 A* conf
Real-Time Planning as Decision-Making under Uncertainty.
AAAI
Andrew Mitchell, Wheeler Ruml, Fabian Spaniol, Jörg Hoffmann, Marek Petrik
2019 A* conf
Refining Abstraction Heuristics during Real-Time Planning.
AAAI
Rebecca Eifler, Maximilian Fickert, Jörg Hoffmann, Wheeler Ruml
2019 J jnl
Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search.
J. Artif. Intell. Res.
Daniel Gnad, Jörg Hoffmann, Martin Wehrle
2019 Misc conf
Towards automated network mitigation analysis.
SAC
Patrick Speicher, Marcel Steinmetz, Jörg Hoffmann, Michael Backes, Robert Künnemann
2018 A* conf
Compiling Probabilistic Model Checking into Probabilistic Planning.
ICAPS
Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns
2018 A conf
Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure.
EuroS&P
Patrick Speicher, Marcel Steinmetz, Robert Künnemann, Milivoj Simeonovski, Giancarlo Pellegrino, Jörg Hoffmann, Michael Backes
2018 A* conf
LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning.
IJCAI
Marcel Steinmetz, Jörg Hoffmann
2018 A* conf
On Stubborn Sets and Planning with Resources.
ICAPS
Anna Wilhelm, Marcel Steinmetz, Jörg Hoffmann
2018 A* conf
Simulated Penetration Testing as Contingent Planning.
ICAPS
Dorin Shmaryahu, Guy Shani, Jörg Hoffmann, Marcel Steinmetz
2018 A* conf
Stackelberg Planning: Towards Effective Leader-Follower State Space Search.
AAAI
Patrick Speicher, Marcel Steinmetz, Michael Backes, Jörg Hoffmann, Robert Künnemann
2018 — conf
Star-Topology Decoupling in SPIN.
SPIN
Daniel Gnad, Patrick Dubbert, Alberto Lluch-Lafuente, Jörg Hoffmann
2018 J jnl
Star-topology decoupled state space search.
Artif. Intell.
Daniel Gnad, Jörg Hoffmann
2018 A* conf
Unchaining the Power of Partial Delete Relaxation, Part II: Finding Plans with Red-Black State Space Search.
IJCAI
Maximilian Fickert, Daniel Gnad, Jörg Hoffmann
2018 — ch.
Web Service Composition.
Encyclopedia of Social Network Analysis and Mining. 2nd Ed.
Jörg Hoffmann, Ingo Weber
2017 A* conf
Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search.
IJCAI
Daniel Gnad, Valerie Poser, Jörg Hoffmann
2017 A* conf
Beyond Red-Black Planning: Limited-Memory State Variables.
ICAPS
Patrick Speicher, Marcel Steinmetz, Daniel Gnad, Jörg Hoffmann, Alfonso Gerevini
2017 A* conf
Complete Local Search: Boosting Hill-Climbing through Online Relaxation Refinement.
ICAPS
Maximilian Fickert, Jörg Hoffmann
2017 A* conf
Critical-Path Dead-End Detection versus NoGoods: Offline Equivalence and Online Learning.
ICAPS
Marcel Steinmetz, Jörg Hoffmann
2017 B conf
Ranking Conjunctions for Partial Delete Relaxation Heuristics in Planning.
SOCS
Maximilian Fickert, Jörg Hoffmann
2017 A* conf
Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning.
IJCAI
Marcel Steinmetz, Jörg Hoffmann
2017 J jnl
Simulated Penetration Testing and Mitigation Analysis.
CoRR
Michael Backes, Jörg Hoffmann, Robert Künnemann, Patrick Speicher, Marcel Steinmetz
2017 J jnl
State space search nogood learning: Online refinement of critical-path dead-end detectors in planning.
Artif. Intell.
Marcel Steinmetz, Jörg Hoffmann
2017 B conf
Symbolic Leaf Representation in Decoupled Search.
SOCS
Daniel Gnad, Álvaro Torralba, Jörg Hoffmann
2017 A* conf
Symmetry Breaking in Star-Topology Decoupled Search.
ICAPS
Daniel Gnad, Álvaro Torralba, Alexander Shleyfman, Jörg Hoffmann
2016 J jnl
Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization.
J. Artif. Intell. Res.
Maximilian Fickert, Jörg Hoffmann, Marcel Steinmetz
2016 A* conf
Decoupled Strong Stubborn Sets.
IJCAI
Daniel Gnad, Martin Wehrle, Jörg Hoffmann
2016 B conf
From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation.
COLING
Maximilian Schwenger, Álvaro Torralba, Jörg Hoffmann, David M. Howcroft, Vera Demberg
2016 J jnl
Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the Art.
J. Artif. Intell. Res.
Marcel Steinmetz, Jörg Hoffmann, Olivier Buffet
2016 A* conf
On State-Dominance Criteria in Fork-Decoupled Search.
IJCAI
Álvaro Torralba, Daniel Gnad, Patrick Dubbert, Jörg Hoffmann
2016 B conf
Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications.
SOCS
Daniel Gnad, Marcel Steinmetz, Mathäus Jany, Jörg Hoffmann, Ivan Serina, Alfonso Gerevini
2016 A* conf
Practical Undoability Checking via Contingent Planning.
ICAPS
Jeanette Daum, Álvaro Torralba, Jörg Hoffmann, Patrik Haslum, Ingo Weber
2016 A* conf
Revisiting Goal Probability Analysis in Probabilistic Planning.
ICAPS
Marcel Steinmetz, Jörg Hoffmann, Olivier Buffet
2016 J jnl
Search Challenges in Natural Language Generation with Complex Optimization Objectives.
Künstliche Intell.
Vera Demberg, Jörg Hoffmann, David M. Howcroft, Dietrich Klakow, Álvaro Torralba
2016 A* conf
Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends.
AAAI
Marcel Steinmetz, Jörg Hoffmann
2015 A* conf
Beating LM-Cut with h
ICAPS
Daniel Gnad, Jörg Hoffmann
2015 A* conf
Explicit Conjunctions without Compilation: Computing h
ICAPS
Jörg Hoffmann, Maximilian Fickert
2015 B conf
From Fork Decoupling to Star-Topology Decoupling.
SOCS
Daniel Gnad, Jörg Hoffmann, Carmel Domshlak
2015 A* conf
Journal Track Paper Abstracts.
ICAPS
Jörg Hoffmann, Alan Fern
2015 J jnl
PriCL: Creating a Precedent A Framework for Reasoning about Privacy Case Law.
CoRR
Michael Backes, Fabian Bendun, Jörg Hoffmann, Ninja Marnau
2015 — conf
PriCL: Creating a Precedent, a Framework for Reasoning about Privacy Case Law.
POST
Michael Backes, Fabian Bendun, Jörg Hoffmann, Ninja Marnau
2015 B conf
Red-Black Planning: A New Tractability Analysis and Heuristic Function.
SOCS
Daniel Gnad, Jörg Hoffmann
2015 J jnl
Red-black planning: A new systematic approach to partial delete relaxation.
Artif. Intell.
Carmel Domshlak, Jörg Hoffmann, Michael Katz
2015 A* conf
Simulated Penetration Testing: From "Dijkstra" to "Turing Test++".
ICAPS
Jörg Hoffmann
2015 A* conf
Simulation-Based Admissible Dominance Pruning.
IJCAI
Álvaro Torralba, Jörg Hoffmann
2014 A conf
"Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability.
ECAI
Jörg Hoffmann, Peter Kissmann, Álvaro Torralba
2014 J jnl
Analyzing Search Topology Without Running Any Search: On the Connection Between Causal Graphs and h+.
CoRR
Jörg Hoffmann
2014 J jnl
BDD Ordering Heuristics for Classical Planning.
J. Artif. Intell. Res.
Peter Kissmann, Jörg Hoffmann
2014 A* conf
Improved Features for Runtime Prediction of Domain-Independent Planners.
ICAPS
Chris Fawcett, Mauro Vallati, Frank Hutter, Jörg Hoffmann, Holger H. Hoos, Kevin Leyton-Brown
2014 J jnl
Improving Delete Relaxation Heuristics Through Explicitly Represented Conjunctions.
J. Artif. Intell. Res.
Emil Ragip Keyder, Jörg Hoffmann, Patrik Haslum
2014 A conf
Learning Pruning Rules for Heuristic Search Planning.
ECAI
Michal Krajnanský, Jörg Hoffmann, Olivier Buffet, Alan Fern
2014 J jnl
Merge-and-Shrink Abstraction: A Method for Generating Lower Bounds in Factored State Spaces.
J. ACM
Malte Helmert, Patrik Haslum, Jörg Hoffmann, Raz Nissim
2014 J jnl
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection.
CoRR
Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert, Marco Pistore
2014 A* conf
Optimizing Planning Domains by Automatic Action Schema Splitting.
ICAPS
Carlos Areces, Facundo Bustos, Martín Ariel Domínguez, Jörg Hoffmann
2014 J jnl
SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management.
CoRR
Jörg Hoffmann, Ingo Weber, Frank Michael Kraft
2014 — ch.
Web Service Composition.
Encyclopedia of Social Network Analysis and Mining
Jörg Hoffmann, Ingo Weber
2013 J jnl
Les POMDP font de meilleurs hackers: Tenir compte de l'incertitude dans les tests de penetration.
CoRR
Carlos Sarraute, Olivier Buffet, Jörg Hoffmann
2013 J jnl
POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing.
CoRR
Carlos Sarraute, Olivier Buffet, Jörg Hoffmann
2013 J jnl
Penetration Testing == POMDP Solving?
CoRR
Carlos Sarraute, Olivier Buffet, Jörg Hoffmann
2013 B conf
Red-Black Relaxed Plan Heuristics Reloaded.
SOCS
Michael Katz, Jörg Hoffmann
2013 A* conf
Red-Black Relaxed Plan Heuristics.
AAAI
Michael Katz, Jörg Hoffmann, Carmel Domshlak
2013 Misc conf
Translating Single-Player GDL into PDDL.
KI
Thorsten Rauber, Peter Kissmann, Jörg Hoffmann
2013 A* conf
What's in It for My BDD? On Causal Graphs and Variable Orders in Planning.
ICAPS
Peter Kissmann, Jörg Hoffmann
2013 A* conf
Who Said We Need to Relax All Variables?
ICAPS
Michael Katz, Jörg Hoffmann, Carmel Domshlak
2012 A* conf
How to Relax a Bisimulation?
ICAPS
Michael Katz, Jörg Hoffmann, Malte Helmert
2012 J jnl
On compliance checking for clausal constraints in annotated process models.
Inf. Syst. Frontiers
Jörg Hoffmann, Ingo Weber, Guido Governatori
2012 A* conf
POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing.
AAAI
Carlos Sarraute, Olivier Buffet, Jörg Hoffmann
2012 A* ed.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada.
AAAI
Jörg Hoffmann, Bart Selman
2012 A* conf
Resource-Constrained Planning: A Monte Carlo Random Walk Approach.
ICAPS
Hootan Nakhost, Jörg Hoffmann, Martin Müller
2012 J jnl
SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management.
J. Artif. Intell. Res.
Jörg Hoffmann, Ingo Weber, Frank Michael Kraft
2012 — ch.
Semantic Web Services Fundamentals.
Handbook of Service Description
Stijn Heymans, Jörg Hoffmann, Annapaola Marconi, Joshua Phillips, Ingo Weber
2012 A* conf
Semi-Relaxed Plan Heuristics.
AAAI
Emil Ragip Keyder, Jörg Hoffmann, Patrik Haslum
2012 A* conf
Semi-Relaxed Plan Heuristics.
ICAPS
Emil Ragip Keyder, Jörg Hoffmann, Patrik Haslum
2011 J jnl
A Caching Technique for Optimizing Automated Service Discovery.
Int. J. Semantic Comput.
Michael Stollberg, Jörg Hoffmann, Dieter Fensel
2011 J jnl
Analyzing Search Topology Without Running Any Search: On the Connection Between Causal Graphs and h+.
J. Artif. Intell. Res.
Jörg Hoffmann
2011 A* conf
Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning.
IJCAI
Raz Nissim, Jörg Hoffmann, Malte Helmert
2011 J jnl
Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4
CoRR
Stefan Edelkamp, Roman Englert, Jörg Hoffmann, Frederico dos S. Liporace, Sylvie Thiébaux, Sebastian Trüg
2011 Misc conf
Everything You Always Wanted to Know about Planning - (But Were Afraid to Ask).
KI
Jörg Hoffmann
2011 J jnl
Functional description of geoprocessing services as conjunctive datalog queries.
GeoInformatica
Daniel Fitzner, Jörg Hoffmann, Eva Klien
2011 J jnl
On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm
CoRR
Jana Koehler, Jörg Hoffmann
2011 J jnl
Ordered Landmarks in Planning
CoRR
Jörg Hoffmann, Julie Porteous, Laura Sebastia
2011 J jnl
Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting
CoRR
Carmel Domshlak, Jörg Hoffmann
2011 J jnl
The Deterministic Part of IPC-4: An Overview
CoRR
Stefan Edelkamp, Jörg Hoffmann
2011 J jnl
The FF Planning System: Fast Plan Generation Through Heuristic Search
CoRR
Jörg Hoffmann, Bernhard Nebel
2011 J jnl
The Metric-FF Planning System: Translating "Ignoring Delete Lists" to Numeric State Variables
CoRR
Jörg Hoffmann
2011 A* conf
Where Ignoring Delete Lists Works, Part II: Causal Graphs.
ICAPS
Jörg Hoffmann
2010 J jnl
Beyond soundness: on the verification of semantic business process models.
Distributed Parallel Databases
Ingo Weber, Jörg Hoffmann, Jan Mendling
2010 A conf
Brothers in Arms? On AI Planning and Cellular Automata.
ECAI
Jörg Hoffmann, Nazim Fatès, Héctor Palacios
2010 B conf
Improving Local Search for Resource-Constrained Planning.
SOCS
Hootan Nakhost, Jörg Hoffmann, Martin Müller
2010 A* ed.
Proceedings of the 20th International Conference on Automated Planning and Scheduling, ICAPS 2010, Toronto, Ontario, Canada, May 12-16, 2010
ICAPS
Ronen I. Brafman, Hector Geffner, Jörg Hoffmann, Henry A. Kautz
2010 A* conf
SAP Speaks PDDL.
AAAI
Jörg Hoffmann, Ingo Weber, Frank Michael Kraft
2010 A* conf
Waking Up a Sleeping Rabbit: On Natural-Language Sentence Generation with FF.
ICAPS
Alexander Koller, Jörg Hoffmann
2009 A conf
Composing Services for Third-party Service Delivery.
ICWS
Ingo Weber, Alistair Barros, Norman May, Jörg Hoffmann, Tomasz Kaczmarek
2009 A* conf
Enhancing the Context-Enhanced Additive Heuristic with Precedence Constraints.
ICAPS
Dunbo Cai, Jörg Hoffmann, Malte Helmert
2009 J jnl
Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings.
J. Artif. Intell. Res.
Carmel Domshlak, Jörg Hoffmann, Ashish Sabharwal
2009 J jnl
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection.
J. Artif. Intell. Res.
Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert, Marco Pistore
2009 — conf
Ontology Design for Information Integration in Disaster Management.
GI Jahrestagung
Grigori Babitski, Florian Probst, Jörg Hoffmann, Daniel Oberle
2009 — conf
Ontology-Based Integration of Sensor Web Services in Disaster Management.
GeoS
Grigori Babitski, Simon Bergweiler, Jörg Hoffmann, Daniel Schön, Christoph Stasch, Alexander C. Walkowski
2009 B conf
Supporting Execution-Level Business Process Modeling with Semantic Technologies.
DASFAA
Matthias Born, Jörg Hoffmann, Tomasz Kaczmarek, Marek Kowalkiewicz, Ivan Markovic, James Scicluna, Ingo Weber, Xuan Zhou
2008 — conf
Beyond Soundness: On the Semantic Consistency of Executable Process Models.
ECOWS
Ingo Weber, Jörg Hoffmann, Jan Mendling
2008 B conf
Combining Scalability and Expressivity in the Automatic Composition of Semantic Web Services.
ICWE
Jörg Hoffmann, Ingo Weber, James Scicluna, Tomasz Kaczmarek, Anupriya Ankolekar
2008 — conf
Detecting Regulatory Compliance for Business Process Models through Semantic Annotations.
Business Process Management Workshops
Guido Governatori, Jörg Hoffmann, Shazia Sadiq, Ingo Weber
2008 A* conf
Explicit-State Abstraction: A New Method for Generating Heuristic Functions.
AAAI
Malte Helmert, Patrik Haslum, Jörg Hoffmann
2008 A conf
Fast Directed Model Checking Via Russian Doll Abstraction.
TACAS
Sebastian Kupferschmid, Jörg Hoffmann, Kim Guldstrand Larsen
2008 — conf
Relaxation Refinement: A New Method to Generate Heuristic Functions.
MoChArt
Jan-Georg Smaus, Jörg Hoffmann
2008 B conf
SWING: An Integrated Environment for Geospatial Semantic Web Services.
ESWC
Mihai Andrei, Arne-Jørgen Berre, Luis Costa, Philippe Duchesne, Daniel Fitzner, Miha Grcar, Jörg Hoffmann, Eva Klien, Joël Langlois, Andreas Limyr, Patrick Maué, Sven Schade, Nathalie Steinmetz, Francois Tertre, Laurentiu Vasiliu, Raluca Zaharia, Nicolas Zastavni
2008 B conf
Semantic Annotation and Composition of Business Processes with Maestro.
ESWC
Matthias Born, Jörg Hoffmann, Tomasz Kaczmarek, Marek Kowalkiewicz, Ivan Markovic, James Scicluna, Ingo Weber, Xuan Zhou
2008 B ed.
The Semantic Web: Research and Applications, 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, Proceedings
ESWC
Sean Bechhofer, Manfred Hauswirth, Jörg Hoffmann, Manolis Koubarakis
2008 A conf
Towards Efficient Belief Update for Planning-Based Web Service Composition.
ECAI
Jörg Hoffmann
2008 A conf
Towards Scalable Web Service Composition with Partial Matches.
ICWS
Adina Sirbu, Jörg Hoffmann
2007 — conf
A Caching Mechanism for Semantic Web Service Discovery.
ISWC/ASWC
Michael Stollberg, Martin Hepp, Jörg Hoffmann
2007 A* conf
Flexible Abstraction Heuristics for Optimal Sequential Planning.
ICAPS
Malte Helmert, Patrik Haslum, Jörg Hoffmann
2007 A* conf
From Sampling to Model Counting.
IJCAI
Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman
2007 A conf
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code.
ICWS
Piergiorgio Bertoli, Jörg Hoffmann, Freddy Lécué, Marco Pistore
2007 — conf
Polynomial-Time Reasoning for Semantic Web Service Composition.
IEEE SCW
Jörg Hoffmann, James Scicluna, Tomasz Kaczmarek, Ingo Weber
2007 J jnl
Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting.
J. Artif. Intell. Res.
Carmel Domshlak, Jörg Hoffmann
2007 A* conf
SAT Encodings of State-Space Reachability Problems in Numeric Domains.
IJCAI
Jörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz
2007 — conf
Sampling and Soundness: Can We Have Both?
New Forms of Reasoning for the Semantic Web
Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman
2007 — conf
Scalable Web Service Composition with Partial Matches.
KWEPSY
Adina Sirbu, Jörg Hoffmann
2007 A conf
Short XORs for Model Counting: From Theory to Practice.
SAT
Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman
2007 J jnl
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
CoRR
Jörg Hoffmann, Carla P. Gomes, Bart Selman
2007 J jnl
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning.
Log. Methods Comput. Sci.
Jörg Hoffmann, Carla P. Gomes, Bart Selman
2007 — conf
Towards a Methodology for Semantic Business Process Modeling and Configuration.
ICSOC Workshops
Ingo Weber, Jörg Hoffmann, Jan Mendling, Jörg Nitzsche
2007 A conf
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.
TACAS
Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann
2007 A* conf
Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty.
AAAI
Jörg Hoffmann, Piergiorgio Bertoli, Marco Pistore
2006 — conf
A Semantically Enabled Service Oriented Architecture.
WImBI
Darko Anicic, Michael L. Brodie, Jos de Bruijn, Dieter Fensel, Thomas Haselwanter, Martin Hepp, Stijn Heymans, Jörg Hoffmann, Mick Kerrigan, Jacek Kopecký, Reto Krummenacher, Holger Lausen, Adrian Mocan, James Scicluna, Ioan Toma, Michal Zaremba
2006 — conf
Adapting an AI Planning Heuristic for Directed Model Checking.
SPIN
Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, Gerd Behrmann
2006 J jnl
Conformant planning via heuristic forward search: A new approach.
Artif. Intell.
Jörg Hoffmann, Ronen I. Brafman
2006 J jnl
Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4.
J. Artif. Intell. Res.
Jörg Hoffmann, Stefan Edelkamp, Sylvie Thiébaux, Roman Englert, Frederico dos S. Liporace, Sebastian Trüg
2006 A* conf
Fast Probabilistic Planning through Weighted Model Counting.
ICAPS
Carmel Domshlak, Jörg Hoffmann
2006 A* conf
Friends or Foes? An AI Planning Perspective on Abstraction and Search.
ICAPS
Jörg Hoffmann, Ashish Sabharwal, Carmel Domshlak
2006 J jnl
KI 2007: Call for Tutorials.
Künstliche Intell.
Jörg Hoffmann
2006 A* conf
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning.
ICAPS
Jörg Hoffmann, Carla P. Gomes, Bart Selman
2006 — conf
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL.
MoChArt
Jörg Hoffmann, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski
2005 A* conf
A Covering Problem for Hypercubes.
IJCAI
Jörg Hoffmann, Sebastian Kupferschmid
2005 A* conf
Contingent Planning via Heuristic Forward Search witn Implicit Belief States.
ICAPS
Jörg Hoffmann, Ronen I. Brafman
2005 J jnl
In defense of PDDL axioms.
Artif. Intell.
Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel
2005 J jnl
The Deterministic Part of IPC-4: An Overview.
J. Artif. Intell. Res.
Jörg Hoffmann, Stefan Edelkamp
2005 J jnl
Where 'Ignoring Delete Lists' Works: Local Search Topology in Planning Benchmarks.
J. Artif. Intell. Res.
Jörg Hoffmann
2004 Misc conf
Applying Automatic Planning Systems to Airport Ground-Traffic Control - A Feasibility Study.
KI
Sebastian Trüg, Jörg Hoffmann, Bernhard Nebel
2004 — conf
Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems.
MBMV
Bernd Becker, Markus Behle, Friedrich Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Jörg Hoffmann, Daniel Kröning, Bernhard Nebel, Ilia Polian, Ralf Wimmer
2004 A* conf
Conformant Planning via Heuristic Forward Search: A New Approach.
ICAPS
Ronen I. Brafman, Jörg Hoffmann
2004 J jnl
Ordered Landmarks in Planning.
J. Artif. Intell. Res.
Jörg Hoffmann, Julie Porteous, Laura Sebastia
2004 J jnl
Utilizing Problem Structure in Planning: A Local Search Approach.
Künstliche Intell.
Jörg Hoffmann
2003 A* conf
Branching Matters: Alternative Branching in Graphplan.
ICAPS
Jörg Hoffmann, Hector Geffner
2003 A* conf
In Defense of PDDL Axioms.
IJCAI
Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel
2003 J jnl
The Metric-FF Planning System: Translating ''Ignoring Delete Lists'' to Numeric State Variables.
J. Artif. Intell. Res.
Jörg Hoffmann
2003 — book
Utilizing Problem Structure in Planning, A Local Search Approach
Jörg Hoffmann
2002 A conf
Extending FF to Numerical State Variables.
ECAI
Jörg Hoffmann
2002 — conf
Local Search Topology in Planning Benchmarks: A Theoretical Analysis.
AIPS
Jörg Hoffmann
2002 — conf
Local Search Topology in Planning Benchmarks: A Theoretical Analysis.
PuK
Jörg Hoffmann
2001 J jnl
An Overview of Recent Algorithms for AI Planning.
Künstliche Intell.
Jussi Rintanen, Jörg Hoffmann
2001 J jnl
Der zweite internationale Wettbewerb für Planungssysteme.
Künstliche Intell.
Jörg Hoffmann
2001 J jnl
FF: The Fast-Forward Planning System.
AI Mag.
Jörg Hoffmann
2001 A* conf
Local Search Topology in Planning Benchmarks: An Empirical Analysis.
IJCAI
Jörg Hoffmann
2001 J jnl
The FF Planning System: Fast Plan Generation Through Heuristic Search.
J. Artif. Intell. Res.
Jörg Hoffmann, Bernhard Nebel
2000 C conf
A Heuristic for Domain Independent Planning and Its Use in an Enforced Hill-Climbing Algorithm.
ISMIS
Jörg Hoffmann
2000 — conf
A Heuristic for Domain Independent Planning and its Use in an Enforced Hill-climbing Algorithm.
PuK
Jörg Hoffmann
2000 J jnl
On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm.
J. Artif. Intell. Res.
Jana Koehler, Jörg Hoffmann
2000 — conf
On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas.
PuK
Jana Koehler, Jörg Hoffmann
2000 J jnl
The AIPS-98 Planning Competition.
AI Mag.
Derek Long, Henry A. Kautz, Bart Selman, Blai Bonet, Hector Geffner, Jana Koehler, Michael Brenner, Jörg Hoffmann, Frank Rittinger, Corin R. Anderson, Daniel S. Weld, David E. Smith, Maria Fox
1999 A* conf
A New Method to Index and Query Sets.
IJCAI
Jörg Hoffmann, Jana Koehler
1999 — conf
Planen mit Zielagendas.
PuK
Jana Koehler, Jörg Hoffmann
1997 — conf
Extending Planning Graphs to an ADL Subset.
ECP
Jana Koehler, Bernhard Nebel, Jörg Hoffmann, Yannis Dimopoulos