Hoffmann, Jörg

61 publications

IJCAI 2024 Guiding GBFS Through Learned Pairwise Rankings Mingyu Hao, Felipe W. Trevizan, Sylvie Thiébaux, Patrick Ferber, Jörg Hoffmann

AAAI 2023 Neural Policy Safety Verification via Predicate Abstraction: CEGAR Marcel Vinzent, Siddhant Sharma, Jörg Hoffmann

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

AAAI 2022 Classical Planning with Avoid Conditions Marcel Steinmetz, Jörg Hoffmann, Alisa Kovtunova, Stefan Borgwardt

IJCAI 2022 Explaining Soft-Goal Conflicts Through Constraint Relaxations Rebecca Eifler, Jeremy Frank, Jörg Hoffmann

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

IJCAI 2022 Landmark Heuristics for Lifted Classical Planning Julia Wichlacz, Daniel Höller, Jörg Hoffmann

JAIR 2022 Online Relaxation Refinement for Satisficing Planning: On Partial Delete Relaxation, Complete Hill-Climbing, and Novelty Pruning Maximilian Fickert, Jörg Hoffmann

AAAI 2022 Operator-Potential Heuristics for Symbolic Search Daniel Fiser, Álvaro Torralba, Jörg Hoffmann

AAAI 2021 Choosing the Initial State for Online Replanning Maximilian Fickert, Ivan Gavran, Ivan Fedotov, Jörg Hoffmann, Rupak Majumdar, Wheeler Ruml

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

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

IJCAI 2021 Learning Temporal Plan Preferences from Examples: An Empirical Study Valentin Seimetz, Rebecca Eifler, Jörg Hoffmann

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

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

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

JAIR 2020 Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns

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

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

AAAI 2019 Real-Time Planning as Decision-Making Under Uncertainty Andrew Mitchell, Wheeler Ruml, Fabian Spaniol, Jörg Hoffmann, Marek Petrik

AAAI 2019 Refining Abstraction Heuristics During Real-Time Planning Rebecca Eifler, Maximilian Fickert, Jörg Hoffmann, Wheeler Ruml

JAIR 2019 Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search Daniel Gnad, Jörg Hoffmann, Martin Wehrle

IJCAI 2018 LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning Marcel Steinmetz, Jörg Hoffmann

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

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

IJCAI 2017 Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search Daniel Gnad, Valerie Poser, Jörg Hoffmann

IJCAI 2017 Search and Learn: On Dead-End Detectors, the Traps They Set, and Trap Learning Marcel Steinmetz, Jörg Hoffmann

JAIR 2016 Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization Maximilian Fickert, Jörg Hoffmann, Marcel Steinmetz

IJCAI 2016 Decoupled Strong Stubborn Sets Daniel Gnad, Martin Wehrle, Jörg Hoffmann

JAIR 2016 Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the Art Marcel Steinmetz, Jörg Hoffmann, Olivier Buffet

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

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

IJCAI 2015 Simulation-Based Admissible Dominance Pruning Álvaro Torralba, Jörg Hoffmann

JAIR 2014 BDD Ordering Heuristics for Classical Planning Peter Kissmann, Jörg Hoffmann

JAIR 2014 Improving Delete Relaxation Heuristics Through Explicitly Represented Conjunctions Emil Ragip Keyder, Jörg Hoffmann, Patrik Haslum

AAAI 2013 Red-Black Relaxed Plan Heuristics Michael Katz, Jörg Hoffmann, Carmel Domshlak

AAAI 2012 POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing Carlos Sarraute, Olivier Buffet, Jörg Hoffmann

AAAI 2012 Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada Jörg Hoffmann, Bart Selman

JAIR 2012 SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management Jörg Hoffmann, Ingo Weber, Frank Michael Kraft

AAAI 2012 Semi-Relaxed Plan Heuristics Emil Ragip Keyder, Jörg Hoffmann, Patrik Haslum

JAIR 2011 Analyzing Search Topology Without Running Any Search: On the Connection Between Causal Graphs and H+ Jörg Hoffmann

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

AAAI 2010 SAP Speaks PDDL Jörg Hoffmann, Ingo Weber, Frank Michael Kraft

JAIR 2009 Friends or Foes? on Planning as Satisfiability and Abstract CNF Encodings Carmel Domshlak, Jörg Hoffmann, Ashish Sabharwal

JAIR 2009 Message-Based Web Service Composition, Integrity Constraints, and Planning Under Uncertainty: A New Connection Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert, Marco Pistore

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

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

JAIR 2007 Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting Carmel Domshlak, Jörg Hoffmann

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

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

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

IJCAI 2005 A Covering Problem for Hypercubes Jörg Hoffmann, Sebastian Kupferschmid

JAIR 2005 The Deterministic Part of IPC-4: An Overview Jörg Hoffmann, Stefan Edelkamp

JAIR 2005 Where 'Ignoring Delete Lists' Works: Local Search Topology in Planning Benchmarks Jörg Hoffmann

JAIR 2004 Ordered Landmarks in Planning Jörg Hoffmann, Julie Porteous, Laura Sebastia

IJCAI 2003 In Defense of PDDL Axioms Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel

JAIR 2003 The Metric-FF Planning System: Translating ''Ignoring Delete Lists'' to Numeric State Variables Jörg Hoffmann

IJCAI 2001 Local Search Topology in Planning Benchmarks: An Empirical Analysis Jörg Hoffmann

JAIR 2001 The FF Planning System: Fast Plan Generation Through Heuristic Search Jörg Hoffmann, Bernhard Nebel

JAIR 2000 On Reasonable and Forced Goal Orderings and Their Use in an Agenda-Driven Planning Algorithm Jana Koehler, Jörg Hoffmann

IJCAI 1999 A New Method to Index and Query Sets Jörg Hoffmann, Jana Koehler