Extending Planning Graphs to an ADL Subset. - Jana Koehler; Bernhard Nebel; Jörg Hoffmann 001; Yannis Dimopoulos (ECP, 1997)

A New Method to Index and Query Sets. - Jörg Hoffmann 001; Jana Koehler (IJCAI, 1999)

Planen mit Zielagendas. - Jana Koehler; Jörg Hoffmann 001 (PuK, 1999)

A Heuristic for Domain Independent Planning and Its Use in an Enforced Hill-Climbing Algorithm. - Jörg Hoffmann 001 (ISMIS, 2000)

On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas. - Jana Koehler; Jörg Hoffmann 001 (PuK, 2000)

The AIPS-98 Planning Competition. - Derek Long; Henry A. Kautz; Bart Selman; Blai Bonet; Hector Geffner; Jana Koehler; Michael Brenner 001; Jörg Hoffmann 001; Frank Rittinger; Corin R. Anderson; Daniel S. Weld; David E. Smith 001; et al. (AI Mag., 2000)

On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm. - Jana Koehler; Jörg Hoffmann 001 (J. Artif. Intell. Res., 2000)

Local Search Topology in Planning Benchmarks: An Empirical Analysis. - Jörg Hoffmann 001 (IJCAI, 2001)

FF: The Fast-Forward Planning System. - Jörg Hoffmann 001 (AI Mag., 2001)

The FF Planning System: Fast Plan Generation Through Heuristic Search. - Jörg Hoffmann 001; Bernhard Nebel (J. Artif. Intell. Res., 2001)

Der zweite internationale Wettbewerb für Planungssysteme. - Jörg Hoffmann 001 (Künstliche Intell., 2001)

An Overview of Recent Algorithms for AI Planning. - Jussi Rintanen; Jörg Hoffmann 001 (Künstliche Intell., 2001)

Extending FF to Numerical State Variables. - Jörg Hoffmann 001 (ECAI, 2002)

Local Search Topology in Planning Benchmarks: A Theoretical Analysis. - Jörg Hoffmann 001 (PuK, 2002)

Utilizing Problem Structure in Planning, A Local Search Approach - Jörg Hoffmann 001 (Springer, 2003)

Branching Matters: Alternative Branching in Graphplan. - Jörg Hoffmann 001; Hector Geffner (ICAPS, 2003)

The Metric-FF Planning System: Translating ''Ignoring Delete Lists'' to Numeric State Variables. - Jörg Hoffmann 001 (J. Artif. Intell. Res., 2003)

Applying Automatic Planning Systems to Airport Ground-Traffic Control - A Feasibility Study. - Sebastian Trüg; Jörg Hoffmann 001; Bernhard Nebel (KI, 2004)

Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. - Bernd Becker 001; Markus Behle; Friedrich Eisenbrand; Martin Fränzle; Marc Herbstritt; Christian Herde; Jörg Hoffmann 001; Daniel Kröning; Bernhard Nebel; Ilia Polian; Ralf Wimmer 001 (MBMV, 2004)

Ordered Landmarks in Planning. - Jörg Hoffmann 001; Julie Porteous; Laura Sebastia (J. Artif. Intell. Res., 2004)

Utilizing Problem Structure in Planning: A Local Search Approach. - Jörg Hoffmann 001 (Künstliche Intell., 2004)

Contingent Planning via Heuristic Forward Search witn Implicit Belief States. - Jörg Hoffmann 001; Ronen I. Brafman (ICAPS, 2005)

A Covering Problem for Hypercubes. - Jörg Hoffmann 001; Sebastian Kupferschmid (IJCAI, 2005)

In defense of PDDL axioms. - Sylvie Thiébaux; Jörg Hoffmann 001; Bernhard Nebel (Artif. Intell., 2005)

Where 'Ignoring Delete Lists' Works: Local Search Topology in Planning Benchmarks. - Jörg Hoffmann 001 (J. Artif. Intell. Res., 2005)

The Deterministic Part of IPC-4: An Overview. - Jörg Hoffmann 001; Stefan Edelkamp (J. Artif. Intell. Res., 2005)

Fast Probabilistic Planning through Weighted Model Counting. - Carmel Domshlak; Jörg Hoffmann 001 (ICAPS, 2006)

Friends or Foes? An AI Planning Perspective on Abstraction and Search. - Jörg Hoffmann 001; Ashish Sabharwal; Carmel Domshlak (ICAPS, 2006)

Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL. - Jörg Hoffmann 001; Jan-Georg Smaus; Andrey Rybalchenko; Sebastian Kupferschmid; Andreas Podelski (MoChArt, 2006)

Adapting an AI Planning Heuristic for Directed Model Checking. - Sebastian Kupferschmid; Jörg Hoffmann 001; Henning Dierks; Gerd Behrmann (SPIN, 2006)

A Semantically Enabled Service Oriented Architecture. - Darko Anicic; Michael L. Brodie; Jos de Bruijn; Dieter Fensel; Thomas Haselwanter; Martin Hepp; Stijn Heymans; Jörg Hoffmann 001; Mick Kerrigan; Jacek Kopecký; Reto Krummenacher; Holger Lausen; et al. (WImBI, 2006)

Conformant planning via heuristic forward search: A new approach. - Jörg Hoffmann 001; Ronen I. Brafman (Artif. Intell., 2006)

Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4. - Jörg Hoffmann 001; Stefan Edelkamp; Sylvie Thiébaux; Roman Englert; Frederico dos S. Liporace; Sebastian Trüg (J. Artif. Intell. Res., 2006)

KI 2007: Call for Tutorials. - Jörg Hoffmann 001 (Künstliche Intell., 2006)

Polynomial-Time Reasoning for Semantic Web Service Composition. - Jörg Hoffmann 001; James Scicluna 001; Tomasz Kaczmarek; Ingo Weber (IEEE SCW, 2007)

Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty. - Jörg Hoffmann 001; Piergiorgio Bertoli; Marco Pistore (AAAI, 2007)

Flexible Abstraction Heuristics for Optimal Sequential Planning. - Malte Helmert; Patrik Haslum; Jörg Hoffmann 001 (ICAPS, 2007)

Scalable Web Service Composition with Partial Matches. - Adina Sirbu; Jörg Hoffmann 001 (KWEPSY, 2007)

Towards a Methodology for Semantic Business Process Modeling and Configuration. - Ingo Weber; Jörg Hoffmann 001; Jan Mendling; Jörg Nitzsche (ICSOC Workshops, 2007)

Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code. - Piergiorgio Bertoli; Jörg Hoffmann 001; Freddy Lécué; Marco Pistore (ICWS, 2007)

From Sampling to Model Counting. - Carla P. Gomes; Jörg Hoffmann 001; Ashish Sabharwal; Bart Selman (IJCAI, 2007)

SAT Encodings of State-Space Reachability Problems in Numeric Domains. - Jörg Hoffmann 001; Carla P. Gomes; Bart Selman; Henry A. Kautz (IJCAI, 2007)

Short XORs for Model Counting: From Theory to Practice. - Carla P. Gomes; Jörg Hoffmann 001; Ashish Sabharwal; Bart Selman (SAT, 2007)

Sampling and Soundness: Can We Have Both? - Carla P. Gomes; Jörg Hoffmann 001; Ashish Sabharwal; Bart Selman (New Forms of Reasoning for the Semantic Web, 2007)

A Caching Mechanism for Semantic Web Service Discovery. - Michael Stollberg; Martin Hepp; Jörg Hoffmann 001 (ISWC/ASWC, 2007)

Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking. - Sebastian Kupferschmid; Klaus Dräger; Jörg Hoffmann 001; Bernd Finkbeiner; Henning Dierks; Andreas Podelski; Gerd Behrmann (TACAS, 2007)

Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting. - Carmel Domshlak; Jörg Hoffmann 001 (J. Artif. Intell. Res., 2007)

Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. - Jörg Hoffmann 001; Carla P. Gomes; Bart Selman (Log. Methods Comput. Sci., 2007)

Explicit-State Abstraction: A New Method for Generating Heuristic Functions. - Malte Helmert; Patrik Haslum; Jörg Hoffmann 001 (AAAI, 2008)

Detecting Regulatory Compliance for Business Process Models through Semantic Annotations. - Guido Governatori; Jörg Hoffmann 001; Shazia Sadiq; Ingo Weber (Business Process Management Workshops, 2008)

Towards Efficient Belief Update for Planning-Based Web Service Composition. - Jörg Hoffmann 001 (ECAI, 2008)

Beyond Soundness: On the Semantic Consistency of Executable Process Models. - Ingo Weber; Jörg Hoffmann 001; Jan Mendling (ECOWS, 2008)

SWING: An Integrated Environment for Geospatial Semantic Web Services. - Mihai Andrei; Arne-Jørgen Berre; Luis Costa; Philippe Duchesne; Daniel Fitzner; Miha Grcar; Jörg Hoffmann 001; Eva Klien; Joël Langlois; Andreas Limyr; Patrick Maué; Sven Schade; et al. (ESWC, 2008)

Semantic Annotation and Composition of Business Processes with Maestro. - Matthias Born; Jörg Hoffmann 001; Tomasz Kaczmarek; Marek Kowalkiewicz; Ivan Markovic; James Scicluna 001; Ingo Weber; Xuan Zhou 003 (ESWC, 2008)

Combining Scalability and Expressivity in the Automatic Composition of Semantic Web Services. - Jörg Hoffmann 001; Ingo Weber; James Scicluna 001; Tomasz Kaczmarek; Anupriya Ankolekar (ICWE, 2008)

Towards Scalable Web Service Composition with Partial Matches. - Adina Sirbu; Jörg Hoffmann 001 (ICWS, 2008)

Relaxation Refinement: A New Method to Generate Heuristic Functions. - Jan-Georg Smaus; Jörg Hoffmann 001 (MoChArt, 2008)

Fast Directed Model Checking Via Russian Doll Abstraction. - Sebastian Kupferschmid; Jörg Hoffmann 001; Kim Guldstrand Larsen (TACAS, 2008)

Enhancing the Context-Enhanced Additive Heuristic with Precedence Constraints. - Dunbo Cai; Jörg Hoffmann 001; Malte Helmert (ICAPS, 2009)

Supporting Execution-Level Business Process Modeling with Semantic Technologies. - Matthias Born; Jörg Hoffmann 001; Tomasz Kaczmarek; Marek Kowalkiewicz; Ivan Markovic; James Scicluna 001; Ingo Weber; Xuan Zhou 003 (DASFAA, 2009)

Ontology-Based Integration of Sensor Web Services in Disaster Management. - Grigori Babitski; Simon Bergweiler; Jörg Hoffmann 001; Daniel Schön; Christoph Stasch; Alexander C. Walkowski (GeoS, 2009)

Ontology Design for Information Integration in Disaster Management. - Grigori Babitski; Florian Probst; Jörg Hoffmann 001; Daniel Oberle (GI Jahrestagung, 2009)

Composing Services for Third-party Service Delivery. - Ingo Weber; Alistair Barros; Norman May; Jörg Hoffmann 001; Tomasz Kaczmarek (ICWS, 2009)

Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings. - Carmel Domshlak; Jörg Hoffmann 001; Ashish Sabharwal (J. Artif. Intell. Res., 2009)

Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. - Jörg Hoffmann 001; Piergiorgio Bertoli; Malte Helmert; Marco Pistore (J. Artif. Intell. Res., 2009)

SAP Speaks PDDL. - Jörg Hoffmann 001; Ingo Weber; Frank Michael Kraft (AAAI, 2010)

Waking Up a Sleeping Rabbit: On Natural-Language Sentence Generation with FF. - Alexander Koller; Jörg Hoffmann 001 (ICAPS, 2010)

Brothers in Arms? On AI Planning and Cellular Automata. - Jörg Hoffmann 001; Nazim Fatès; Héctor Palacios (ECAI, 2010)

Improving Local Search for Resource-Constrained Planning. - Hootan Nakhost; Jörg Hoffmann 001; Martin Müller 003 (SOCS, 2010)

Beyond soundness: on the verification of semantic business process models. - Ingo Weber; Jörg Hoffmann 001; Jan Mendling (Distributed Parallel Databases, 2010)

Where Ignoring Delete Lists Works, Part II: Causal Graphs. - Jörg Hoffmann 001 (ICAPS, 2011)

Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning. - Raz Nissim; Jörg Hoffmann 001; Malte Helmert (IJCAI, 2011)

Everything You Always Wanted to Know about Planning - (But Were Afraid to Ask). - Jörg Hoffmann 001 (KI, 2011)

Functional description of geoprocessing services as conjunctive datalog queries. - Daniel Fitzner; Jörg Hoffmann 001; Eva Klien (GeoInformatica, 2011)

A Caching Technique for Optimizing Automated Service Discovery. - Michael Stollberg; Jörg Hoffmann 001; Dieter Fensel (Int. J. Semantic Comput., 2011)

Analyzing Search Topology Without Running Any Search: On the Connection Between Causal Graphs and h+. - Jörg Hoffmann 001 (J. Artif. Intell. Res., 2011)

Semantic Web Services Fundamentals. - Stijn Heymans; Jörg Hoffmann 001; Annapaola Marconi; Joshua Phillips; Ingo Weber (Handbook of Service Description, 2012)

Semi-Relaxed Plan Heuristics. - Emil Ragip Keyder; Jörg Hoffmann 001; Patrik Haslum (AAAI, 2012)

POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing. - Carlos Sarraute; Olivier Buffet; Jörg Hoffmann 001 (AAAI, 2012)

How to Relax a Bisimulation? - Michael Katz 001; Jörg Hoffmann 001; Malte Helmert (ICAPS, 2012)

Resource-Constrained Planning: A Monte Carlo Random Walk Approach. - Hootan Nakhost; Jörg Hoffmann 001; Martin Müller 003 (ICAPS, 2012)

On compliance checking for clausal constraints in annotated process models. - Jörg Hoffmann 001; Ingo Weber; Guido Governatori (Inf. Syst. Frontiers, 2012)

SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management. - Jörg Hoffmann 001; Ingo Weber; Frank Michael Kraft (J. Artif. Intell. Res., 2012)

Red-Black Relaxed Plan Heuristics. - Michael Katz 001; Jörg Hoffmann 001; Carmel Domshlak (AAAI, 2013)

Who Said We Need to Relax All Variables? - Michael Katz 001; Jörg Hoffmann 001; Carmel Domshlak (ICAPS, 2013)

What's in It for My BDD? On Causal Graphs and Variable Orders in Planning. - Peter Kissmann; Jörg Hoffmann 001 (ICAPS, 2013)

Translating Single-Player GDL into PDDL. - Thorsten Rauber; Peter Kissmann; Jörg Hoffmann 001 (KI, 2013)

Red-Black Relaxed Plan Heuristics Reloaded. - Michael Katz 001; Jörg Hoffmann 001 (SOCS, 2013)

Penetration Testing == POMDP Solving? - Carlos Sarraute; Olivier Buffet; Jörg Hoffmann 001 (CoRR, 2013)

Les POMDP font de meilleurs hackers: Tenir compte de l'incertitude dans les tests de penetration. - Carlos Sarraute; Olivier Buffet; Jörg Hoffmann 001 (CoRR, 2013)

Optimizing Planning Domains by Automatic Action Schema Splitting. - Carlos Areces; Facundo Bustos; Martín Ariel Domínguez; Jörg Hoffmann 001 (ICAPS, 2014)

Improved Features for Runtime Prediction of Domain-Independent Planners. - Chris Fawcett; Mauro Vallati; Frank Hutter; Jörg Hoffmann 001; Holger H. Hoos; Kevin Leyton-Brown (ICAPS, 2014)

"Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability. - Jörg Hoffmann 001; Peter Kissmann; Álvaro Torralba (ECAI, 2014)

Learning Pruning Rules for Heuristic Search Planning. - Michal Krajnanský; Jörg Hoffmann 001; Olivier Buffet; Alan Fern (ECAI, 2014)

Merge-and-Shrink Abstraction: A Method for Generating Lower Bounds in Factored State Spaces. - Malte Helmert; Patrik Haslum; Jörg Hoffmann 001; Raz Nissim (J. ACM, 2014)

Improving Delete Relaxation Heuristics Through Explicitly Represented Conjunctions. - Emil Ragip Keyder; Jörg Hoffmann 001; Patrik Haslum (J. Artif. Intell. Res., 2014)

BDD Ordering Heuristics for Classical Planning. - Peter Kissmann; Jörg Hoffmann 001 (J. Artif. Intell. Res., 2014)

Web Service Composition. - Jörg Hoffmann 001; Ingo Weber (Encyclopedia of Social Network Analysis and Mining, 2014)

Simulated Penetration Testing: From "Dijkstra" to "Turing Test++". - Jörg Hoffmann 001 (ICAPS, 2015)

Explicit Conjunctions without Compilation: Computing hFF(PiC) in Polynomial Time. - Jörg Hoffmann 001; Maximilian Fickert (ICAPS, 2015)

Journal Track Paper Abstracts. - Jörg Hoffmann 001; Alan Fern (ICAPS, 2015)

Beating LM-Cut with hmax (Sometimes): Fork-Decoupled State Space Search. - Daniel Gnad 001; Jörg Hoffmann 001 (ICAPS, 2015)

Simulation-Based Admissible Dominance Pruning. - Álvaro Torralba; Jörg Hoffmann 001 (IJCAI, 2015)

PriCL: Creating a Precedent, a Framework for Reasoning about Privacy Case Law. - Michael Backes 001; Fabian Bendun; Jörg Hoffmann 001; Ninja Marnau (POST, 2015)

Red-Black Planning: A New Tractability Analysis and Heuristic Function. - Daniel Gnad 001; Jörg Hoffmann 001 (SOCS, 2015)

From Fork Decoupling to Star-Topology Decoupling. - Daniel Gnad 001; Jörg Hoffmann 001; Carmel Domshlak (SOCS, 2015)

Red-black planning: A new systematic approach to partial delete relaxation. - Carmel Domshlak; Jörg Hoffmann 001; Michael Katz 001 (Artif. Intell., 2015)

Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends. - Marcel Steinmetz; Jörg Hoffmann 001 (AAAI, 2016)

Practical Undoability Checking via Contingent Planning. - Jeanette Daum; Álvaro Torralba; Jörg Hoffmann 001; Patrik Haslum; Ingo Weber (ICAPS, 2016)

Revisiting Goal Probability Analysis in Probabilistic Planning. - Marcel Steinmetz; Jörg Hoffmann 001; Olivier Buffet (ICAPS, 2016)

From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation. - Maximilian Schwenger; Álvaro Torralba; Jörg Hoffmann 001; David M. Howcroft; Vera Demberg (COLING, 2016)

Decoupled Strong Stubborn Sets. - Daniel Gnad 001; Martin Wehrle; Jörg Hoffmann 001 (IJCAI, 2016)

On State-Dominance Criteria in Fork-Decoupled Search. - Álvaro Torralba; Daniel Gnad 001; Patrick Dubbert; Jörg Hoffmann 001 (IJCAI, 2016)

Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications. - Daniel Gnad 001; Marcel Steinmetz; Mathäus Jany; Jörg Hoffmann 001; Ivan Serina; Alfonso Gerevini (SOCS, 2016)

Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization. - Maximilian Fickert; Jörg Hoffmann 001; Marcel Steinmetz (J. Artif. Intell. Res., 2016)

Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the Art. - Marcel Steinmetz; Jörg Hoffmann 001; Olivier Buffet (J. Artif. Intell. Res., 2016)

Search Challenges in Natural Language Generation with Complex Optimization Objectives. - Vera Demberg; Jörg Hoffmann 001; David M. Howcroft; Dietrich Klakow; Álvaro Torralba (Künstliche Intell., 2016)

Complete Local Search: Boosting Hill-Climbing through Online Relaxation Refinement. - Maximilian Fickert; Jörg Hoffmann 001 (ICAPS, 2017)

Symmetry Breaking in Star-Topology Decoupled Search. - Daniel Gnad 001; Álvaro Torralba; Alexander Shleyfman; Jörg Hoffmann 001 (ICAPS, 2017)

Beyond Red-Black Planning: Limited-Memory State Variables. - Patrick Speicher; Marcel Steinmetz; Daniel Gnad 001; Jörg Hoffmann 001; Alfonso Gerevini (ICAPS, 2017)

Critical-Path Dead-End Detection versus NoGoods: Offline Equivalence and Online Learning. - Marcel Steinmetz; Jörg Hoffmann 001 (ICAPS, 2017)

Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search. - Daniel Gnad 001; Valerie Poser; Jörg Hoffmann 001 (IJCAI, 2017)

Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning. - Marcel Steinmetz; Jörg Hoffmann 001 (IJCAI, 2017)

Ranking Conjunctions for Partial Delete Relaxation Heuristics in Planning. - Maximilian Fickert; Jörg Hoffmann 001 (SOCS, 2017)

Symbolic Leaf Representation in Decoupled Search. - Daniel Gnad 001; Álvaro Torralba; Jörg Hoffmann 001 (SOCS, 2017)

State space search nogood learning: Online refinement of critical-path dead-end detectors in planning. - Marcel Steinmetz; Jörg Hoffmann 001 (Artif. Intell., 2017)

Simulated Penetration Testing and Mitigation Analysis. - Michael Backes 001; Jörg Hoffmann 001; Robert Künnemann; Patrick Speicher; Marcel Steinmetz (CoRR, 2017)

Stackelberg Planning: Towards Effective Leader-Follower State Space Search. - Patrick Speicher; Marcel Steinmetz; Michael Backes 001; Jörg Hoffmann 001; Robert Künnemann (AAAI, 2018)

Compiling Probabilistic Model Checking into Probabilistic Planning. - Michaela Klauck; Marcel Steinmetz; Jörg Hoffmann 001; Holger Hermanns (ICAPS, 2018)

Simulated Penetration Testing as Contingent Planning. - Dorin Shmaryahu; Guy Shani; Jörg Hoffmann 001; Marcel Steinmetz (ICAPS, 2018)

On Stubborn Sets and Planning with Resources. - Anna Wilhelm; Marcel Steinmetz; Jörg Hoffmann 001 (ICAPS, 2018)

Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure. - Patrick Speicher; Marcel Steinmetz; Robert Künnemann; Milivoj Simeonovski; Giancarlo Pellegrino; Jörg Hoffmann 001; Michael Backes 001 (EuroS&P, 2018)

Unchaining the Power of Partial Delete Relaxation, Part II: Finding Plans with Red-Black State Space Search. - Maximilian Fickert; Daniel Gnad 001; Jörg Hoffmann 001 (IJCAI, 2018)

LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning. - Marcel Steinmetz; Jörg Hoffmann 001 (IJCAI, 2018)

Star-Topology Decoupling in SPIN. - Daniel Gnad 001; Patrick Dubbert; Alberto Lluch-Lafuente; Jörg Hoffmann 001 (SPIN, 2018)

Star-topology decoupled state space search. - Daniel Gnad 001; Jörg Hoffmann 001 (Artif. Intell., 2018)

Web Service Composition. - Jörg Hoffmann 001; Ingo Weber (Encyclopedia of Social Network Analysis and Mining. 2nd Ed., 2018)

Refining Abstraction Heuristics during Real-Time Planning. - Rebecca Eifler; Maximilian Fickert; Jörg Hoffmann 001; Wheeler Ruml (AAAI, 2019)

Real-Time Planning as Decision-Making under Uncertainty. - Andrew Mitchell; Wheeler Ruml; Fabian Spaniol; Jörg Hoffmann 001; Marek Petrik (AAAI, 2019)

On the Relation between Star-Topology Decoupling and Petri Net Unfolding. - Daniel Gnad 001; Jörg Hoffmann 001 (ICAPS, 2019)

Advanced Factoring Strategies for Decoupled Search Using Linear Programming. - Frederik Schmitt; Daniel Gnad 001; Jörg Hoffmann 001 (ICAPS, 2019)

Explainable AI Planning (XAIP): Overview and the Case of Contrastive Explanation (Extended Abstract). - Jörg Hoffmann 001; Daniele Magazzeni (RW, 2019)

Towards automated network mitigation analysis. - Patrick Speicher; Marcel Steinmetz; Jörg Hoffmann 001; Michael Backes 001; Robert Künnemann (SAC, 2019)

Comparative criteria for partially observable contingent planning. - Dorin Shmaryahu; Guy Shani; Jörg Hoffmann 001 (Auton. Agents Multi Agent Syst., 2019)

Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search. - Daniel Gnad 001; Jörg Hoffmann 001; Martin Wehrle (J. Artif. Intell. Res., 2019)

Planen. - Jörg Hoffmann 001; Malte Helmert; Daniel Gnad 001; Florian Pommerening (Handbuch der Künstlichen Intelligenz, 2020)

A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning. - Rebecca Eifler; Michael Cashmore; Jörg Hoffmann 001; Daniele Magazzeni; Marcel Steinmetz (AAAI, 2020)

Beliefs We Can Believe in: Replacing Assumptions with Data in Real-Time Search. - Maximilian Fickert; Tianyi Gu 001; Leonhard Staut; Wheeler Ruml; Jörg Hoffmann 001; Marek Petrik (AAAI, 2020)

Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking. - Jörg Hoffmann 001; Holger Hermanns; Michaela Klauck; Marcel Steinmetz; Erez Karpas; Daniele Magazzeni (AAAI, 2020)

Generating Instructions at Different Levels of Abstraction. - Arne Köhn; Julia Wichlacz; Álvaro Torralba; Daniel Höller; Jörg Hoffmann 001; Alexander Koller (COLING, 2020)

Neural Network Heuristics for Classical Planning: A Study of Hyperparameter Space. - Patrick Ferber; Malte Helmert; Jörg Hoffmann 001 (ECAI, 2020)

Deep Statistical Model Checking. - Timo P. Gros; Holger Hermanns; Jörg Hoffmann 001; Michaela Klauck; Marcel Steinmetz (FORTE, 2020)

Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties. - Rebecca Eifler; Marcel Steinmetz; Álvaro Torralba; Jörg Hoffmann 001 (IJCAI, 2020)

Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. - Rasha Faqeh; Christof Fetzer; Holger Hermanns; Jörg Hoffmann 001; Michaela Klauck; Maximilian A. Köhl; Marcel Steinmetz; Christoph Weidenbach (ISoLA (2), 2020)

TraceVis: Towards Visualization for Deep Statistical Model Checking. - Timo P. Gros; David Groß; Stefan Gumhold; Jörg Hoffmann 001; Michaela Klauck; Marcel Steinmetz (ISoLA (4), 2020)

Tracking the Race Between Deep Reinforcement Learning and Imitation Learning. - Timo P. Gros; Daniel Höller; Jörg Hoffmann 001; Verena Wolf (QEST, 2020)

MC-Saar-Instruct: a Platform for Minecraft Instruction Giving Agents. - Arne Köhn; Julia Wichlacz; Christine Schäfer; Álvaro Torralba; Jörg Hoffmann 001; Alexander Koller (SIGdial, 2020)

Applying Monte-Carlo Tree Search in HTN Planning. - Julia Wichlacz; Daniel Höller; Álvaro Torralba; Jörg Hoffmann 001 (SOCS, 2020)

Lab Conditions for Research on Explainable Automated Decisions. - Christel Baier; Maria Christakis; Timo P. Gros; David Groß; Stefan Gumhold; Holger Hermanns; Jörg Hoffmann 001; Michaela Klauck (TAILOR, 2020)

Tracking the Race Between Deep Reinforcement Learning and Imitation Learning - Extended Version. - Timo P. Gros; Daniel Höller; Jörg Hoffmann 001; Verena Wolf (CoRR, 2020)

Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems. - Frederik Wiehr; Anke Hirsch; Florian Daiber; Antonio Krüger; Alisa Kovtunova; Stefan Borgwardt; Ernie Chang; Vera Demberg; Marcel Steinmetz; Jörg Hoffmann 001 (CoRR, 2020)

Iterative Planning with Plan-Space Explanations: A Tool and User Study. - Rebecca Eifler; Jörg Hoffmann 001 (CoRR, 2020)

Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison. - Michaela Klauck; Marcel Steinmetz; Jörg Hoffmann 001; Holger Hermanns (J. Artif. Intell. Res., 2020)

Choosing the Initial State for Online Replanning. - Maximilian Fickert; Ivan Gavran; Ivan Fedotov; Jörg Hoffmann 001; Rupak Majumdar; Wheeler Ruml (AAAI, 2021)

Faster Stackelberg Planning via Symbolic Search and Information Sharing. - Álvaro Torralba; Patrick Speicher; Robert Künnemann; Marcel Steinmetz; Jörg Hoffmann 001 (AAAI, 2021)

Pattern Databases for Goal-Probability Maximization in Probabilistic Planning. - Thorsten Klößner; Jörg Hoffmann 001; Marcel Steinmetz; Álvaro Torralba (ICAPS, 2021)

Automated Safety Verification of Programs Invoking Neural Networks. - Maria Christakis; Hasan Ferit Eniser; Holger Hermanns; Jörg Hoffmann 001; Yugesh Kothari; Jianlin Li; Jorge A. Navas; Valentin Wüstholz (CAV (1), 2021)

Model Checking ømega-Regular Properties with Decoupled Search. - Daniel Gnad 001; Jan Eisenhut; Alberto Lluch-Lafuente; Jörg Hoffmann 001 (CAV (2), 2021)

Making DL-Lite Planning Practical (Extended Abstract). - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Marcel Steinmetz (Description Logics, 2021)

Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD. - Frederik Wiehr; Anke Hirsch; Lukas Schmitz; Nina Knieriemen; Antonio Krüger; Alisa Kovtunova; Stefan Borgwardt; Ernie Chang; Vera Demberg; Marcel Steinmetz; Jörg Hoffmann 001 (ICMI, 2021)

Custom-Design of FDR Encodings: The Case of Red-Black Planning. - Daniel Fiser; Daniel Gnad 001; Michael Katz 001; Jörg Hoffmann 001 (IJCAI, 2021)

Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning. - Pascal Lauer; Álvaro Torralba; Daniel Fiser; Daniel Höller; Julia Wichlacz; Jörg Hoffmann 001 (IJCAI, 2021)

Learning Temporal Plan Preferences from Examples: An Empirical Study. - Valentin Seimetz; Rebecca Eifler; Jörg Hoffmann 001 (IJCAI, 2021)

Making DL-Lite Planning Practical. - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Marcel Steinmetz (KR, 2021)

DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning. - Timo P. Gros; Daniel Höller; Jörg Hoffmann 001; Michaela Klauck; Hendrik Meerkamp; Verena Wolf (QEST, 2021)

Pattern Databases for Stochastic Shortest Path Problems. - Thorsten Klößner; Jörg Hoffmann 001 (SOCS, 2021)

Landmark Heuristics for Lifted Planning - Extended Abstract. - Julia Wichlacz; Daniel Höller; Jörg Hoffmann 001 (SOCS, 2021)

Supplementary Material to "Making DL-Lite Planning Practical". - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Marcel Steinmetz (Zenodo, 2021)

Supplementary Material to "Making DL-Lite Planning Practical". - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Marcel Steinmetz (Zenodo, 2021)

Expressivity of Planning with Horn Description Logic Ontologies. - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Markus Krötzsch; Bernhard Nebel; Marcel Steinmetz (AAAI, 2022)

Operator-Potential Heuristics for Symbolic Search. - Daniel Fiser; Álvaro Torralba; Jörg Hoffmann 001 (AAAI, 2022)

Classical Planning with Avoid Conditions. - Marcel Steinmetz; Jörg Hoffmann 001; Alisa Kovtunova; Stefan Borgwardt (AAAI, 2022)

Merge and Shrink Abstractions for Temporal Planning. - Martim Brandao; Amanda Jane Coles; Andrew Coles; Jörg Hoffmann 001 (ICAPS, 2022)

Evaluating Plan-Property Dependencies: A Web-Based Platform and User Study. - Rebecca Eifler; Martim Brandao; Amanda Jane Coles; Jeremy Frank; Jörg Hoffmann 001 (ICAPS, 2022)

Neural Network Heuristic Functions for Classical Planning: Bootstrapping and Comparison to Other Methods. - Patrick Ferber; Florian Geißer; Felipe W. Trevizan; Malte Helmert; Jörg Hoffmann 001 (ICAPS, 2022)

Operator-Potentials in Symbolic Search: From Forward to Bi-directional Search. - Daniel Fiser; Álvaro Torralba; Jörg Hoffmann 001 (ICAPS, 2022)

Pattern Selection Strategies for Pattern Databases in Probabilistic Planning. - Thorsten Klößner; Marcel Steinmetz; Álvaro Torralba; Jörg Hoffmann 001 (ICAPS, 2022)

Debugging a Policy: Automatic Action-Policy Testing in AI Planning. - 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 001 (ICAPS, 2022)

Neural Network Action Policy Verification via Predicate Abstraction. - Marcel Vinzent; Marcel Steinmetz; Jörg Hoffmann 001 (ICAPS, 2022)

MoGym: Using Formal Models for Training and Verifying Decision-making Agents. - Timo P. Gros; Holger Hermanns; Jörg Hoffmann 001; Michaela Klauck; Maximilian A. Köhl; Verena Wolf (CAV (2), 2022)

Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract). - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Markus Krötzsch; Bernhard Nebel; Marcel Steinmetz (Description Logics, 2022)

Explaining Soft-Goal Conflicts through Constraint Relaxations. - Rebecca Eifler; Jeremy Frank; Jörg Hoffmann 001 (IJCAI, 2022)

Landmark Heuristics for Lifted Classical Planning. - Julia Wichlacz; Daniel Höller; Jörg Hoffmann 001 (IJCAI, 2022)

Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing. - Hasan Ferit Eniser; Timo P. Gros; Valentin Wüstholz; Jörg Hoffmann 001; Maria Christakis (ISSTA, 2022)

Glyph-Based Visual Analysis of Q-Leaning Based Action Policy Ensembles on Racetrack. - David Groß; Michaela Klauck; Timo P. Gros; Marcel Steinmetz; Jörg Hoffmann 001; Stefan Gumhold (IV, 2022)

Neural Network Heuristic Functions: Taking Confidence into Account. - Daniel Heller; Patrick Ferber; Julian Bitterwolf; Matthias Hein 001; Jörg Hoffmann 001 (SOCS, 2022)

Expressivity of Planning with Horn Description Logic Ontologies (Technical Report). - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Markus Krötzsch; Bernhard Nebel; Marcel Steinmetz (CoRR, 2022)

Online Relaxation Refinement for Satisficing Planning: On Partial Delete Relaxation, Complete Hill-Climbing, and Novelty Pruning. - Maximilian Fickert; Jörg Hoffmann 001 (J. Artif. Intell. Res., 2022)

PDDL Generators. - Jendrik Seipp; Álvaro Torralba; Jörg Hoffmann 001 (Zenodo, 2022)

Artifact for the Tool Paper: MoGym: Using Formal Models for Training and Verifying Decision-making Agents. - Timo P. Gros; Holger Hermanns; Jörg Hoffmann 001; Michaela Klauck; Maximilian A. Köhl; Verena Wolf (Zenodo, 2022)

Supplementary material to the paper "Expressivity of Planning with Horn Description Logic Ontologies". - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Markus Krötzsch; Bernhard Nebel (Zenodo, 2022)

Supplementary material to the paper "Expressivity of Planning with Horn Description Logic Ontologies". - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Markus Krötzsch; Bernhard Nebel (Zenodo, 2022)

Neural Policy Safety Verification via Predicate Abstraction: CEGAR. - Marcel Vinzent; Siddhant Sharma; Jörg Hoffmann 001 (AAAI, 2023)

Automatic Metamorphic Test Oracles for Action-Policy Testing. - Jan Eisenhut; Álvaro Torralba; Maria Christakis; Jörg Hoffmann 001 (ICAPS, 2023)

Lifted Stackelberg Planning. - Philipp Sauer; Marcel Steinmetz; Robert Künnemann; Jörg Hoffmann 001 (ICAPS, 2023)

A Landmark-Cut Heuristic for Lifted Optimal Planning. - Julia Wichlacz; Daniel Höller; Daniel Fiser; Jörg Hoffmann 001 (ECAI, 2023)

Specifying and Testing k-Safety Properties for Machine-Learning Models. - Maria Christakis; Hasan Ferit Eniser; Jörg Hoffmann 001; Adish Singla; Valentin Wüstholz (IJCAI, 2023)

Analyzing neural network behavior through deep statistical model checking. - Timo P. Gros; Holger Hermanns; Jörg Hoffmann 001; Michaela Klauck; Marcel Steinmetz (Int. J. Softw. Tools Technol. Transf., 2023)

DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning - Extended Version. - Timo P. Gros; Joschka Groß; Daniel Höller; Jörg Hoffmann 001; Michaela Klauck; Hendrik Meerkamp; Nicola J. Müller; Lukas Schaller; Verena Wolf (ACM Trans. Model. Comput. Simul., 2023)

Iterative Oversubscription Planning with Goal-Conflict Explanations: Scaling Up Through Policy-Guidance Approximation. - Rebecca Eifler; Daniel Fiser; Aleena Siji; Jörg Hoffmann 001 (ECAI, 2024)

Safety Verification of Tree-Ensemble Policies via Predicate Abstraction. - Chaahat Jain; Lorenzo Cascioli; Laurens Devos; Marcel Vinzent; Marcel Steinmetz; Jesse Davis; Jörg Hoffmann 001 (ECAI, 2024)

Decision-Focused Learning to Predict Action Costs for Planning. - Jayanta Mandi; Marco Foschini; Daniel Höller; Sylvie Thiébaux; Jörg Hoffmann 001; Tias Guns (ECAI, 2024)

New Fuzzing Biases for Action Policy Testing. - Jan Eisenhut; Xandra Schuler; Daniel Fiser; Daniel Höller; Maria Christakis; Jörg Hoffmann 001 (ICAPS, 2024)

Neural Action Policy Safety Verification: Applicablity Filtering. - Marcel Vinzent; Jörg Hoffmann 001 (ICAPS, 2024)

Guiding GBFS through Learned Pairwise Rankings. - Mingyu Hao; Felipe W. Trevizan; Sylvie Thiébaux; Patrick Ferber; Jörg Hoffmann 001 (IJCAI, 2024)

Boosting optimal symbolic planning: Operator-potential heuristics. - Daniel Fiser; Álvaro Torralba; Jörg Hoffmann 001 (Artif. Intell., 2024)

Per-Domain Generalizing Policies: On Validation Instances and Scaling Behavior. - Timo P. Gros; Nicola J. Müller; Daniel Fiser; Isabel Valera; Verena Wolf; Jörg Hoffmann 001 (CoRR, 2025)

Improved Generalized Planning with LLMs through Strategy Refinement and Reflection. - Katharina Stein; Nils Hodel; Daniel Fiser; Jörg Hoffmann 001; Michael Katz 001; Alexander Koller (CoRR, 2025)