Jörg Hoffmann

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 99

Top Venues

Publications

Marcel Vinzent, Jörg Hoffmann
Neural Action Policy Safety Verification: Applicablity Filtering. ICAPS (2024)
Jan Eisenhut, Xandra Schuler, Daniel Fiser, Daniel Höller, Maria Christakis, Jörg Hoffmann
New Fuzzing Biases for Action Policy Testing. ICAPS (2024)
Jan Eisenhut, Álvaro Torralba, Maria Christakis, Jörg Hoffmann
Automatic Metamorphic Test Oracles for Action-Policy Testing. ICAPS (2023)
Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
Analyzing neural network behavior through deep statistical model checking. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla, Valentin Wüstholz
Specifying and Testing k-Safety Properties for Machine-Learning Models. IJCAI (2023)
Julia Wichlacz, Daniel Höller, Daniel Fiser, Jörg Hoffmann
A Landmark-Cut Heuristic for Lifted Optimal Planning. ECAI (2023)
Timo P. Gros, Joschka Groß, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, Nicola J. Müller, Lukas Schaller, Verena Wolf
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning - Extended Version. ACM Trans. Model. Comput. Simul. 33 (4) (2023)
Marcel Vinzent, Siddhant Sharma, Jörg Hoffmann
Neural Policy Safety Verification via Predicate Abstraction: CEGAR. AAAI (2023)
Philipp Sauer, Marcel Steinmetz, Robert Künnemann, Jörg Hoffmann
Lifted Stackelberg Planning. ICAPS (2023)
Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Verena Wolf
MoGym: Using Formal Models for Training and Verifying Decision-making Agents. CAV (2) (2022)
Marcel Vinzent, Marcel Steinmetz, Jörg Hoffmann
Neural Network Action Policy Verification via Predicate Abstraction. ICAPS (2022)
Rebecca Eifler, Jeremy Frank, Jörg Hoffmann
Explaining Soft-Goal Conflicts through Constraint Relaxations. IJCAI (2022)
David Groß, Michaela Klauck, Timo P. Gros, Marcel Steinmetz, Jörg Hoffmann, Stefan Gumhold
Glyph-Based Visual Analysis of Q-Leaning Based Action Policy Ensembles on Racetrack. IV (2022)
Hasan Ferit Eniser, Timo P. Gros, Valentin Wüstholz, Jörg Hoffmann, Maria Christakis
Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing. ISSTA (2022)
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies. AAAI (2022)
Thorsten Klößner, Marcel Steinmetz, Álvaro Torralba, Jörg Hoffmann
Pattern Selection Strategies for Pattern Databases in Probabilistic Planning. ICAPS (2022)
Rebecca Eifler, Martim Brandao, Amanda Jane Coles, Jeremy Frank, Jörg Hoffmann
Evaluating Plan-Property Dependencies: A Web-Based Platform and User Study. ICAPS (2022)
Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla, Valentin Wüstholz
Specifying and Testing k-Safety Properties for Machine-Learning Models. CoRR (2022)
Maximilian Fickert, Jörg Hoffmann
Online Relaxation Refinement for Satisficing Planning: On Partial Delete Relaxation, Complete Hill-Climbing, and Novelty Pruning. J. Artif. Intell. Res. 73 (2022)
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies (Technical Report). CoRR (2022)
Marcel Steinmetz, Jörg Hoffmann, Alisa Kovtunova, Stefan Borgwardt
Classical Planning with Avoid Conditions. AAAI (2022)
Daniel Fiser, Álvaro Torralba, Jörg Hoffmann
Operator-Potentials in Symbolic Search: From Forward to Bi-directional Search. ICAPS (2022)
Patrick Ferber, Florian Geißer, Felipe W. Trevizan, Malte Helmert, Jörg Hoffmann
Neural Network Heuristic Functions for Classical Planning: Bootstrapping and Comparison to Other Methods. ICAPS (2022)
Martim Brandao, Amanda Jane Coles, Andrew Coles, Jörg Hoffmann
Merge and Shrink Abstractions for Temporal Planning. ICAPS (2022)
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract). Description Logics (2022)
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
Debugging a Policy: Automatic Action-Policy Testing in AI Planning. ICAPS (2022)
Julia Wichlacz, Daniel Höller, Jörg Hoffmann
Landmark Heuristics for Lifted Classical Planning. IJCAI (2022)
Daniel Heller, Patrick Ferber, Julian Bitterwolf, Matthias Hein, Jörg Hoffmann
Neural Network Heuristic Functions: Taking Confidence into Account. SOCS (2022)
Daniel Fiser, Álvaro Torralba, Jörg Hoffmann
Operator-Potential Heuristics for Symbolic Search. AAAI (2022)
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz
Making DL-Lite Planning Practical (Extended Abstract). Description Logics (2021)
Thorsten Klößner, Jörg Hoffmann
Pattern Databases for Stochastic Shortest Path Problems. SOCS (2021)
Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jörg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wüstholz
Automated Safety Verification of Programs Invoking Neural Networks. CAV (1) (2021)
Frederik Wiehr, Anke Hirsch, Lukas Schmitz, Nina Knieriemen, Antonio Krüger, Alisa Kovtunova, Stefan Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Jörg Hoffmann
Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD. ICMI (2021)
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz
Making DL-Lite Planning Practical. KR (2021)
Julia Wichlacz, Daniel Höller, Jörg Hoffmann
Landmark Heuristics for Lifted Planning - Extended Abstract. SOCS (2021)
Álvaro Torralba, Patrick Speicher, Robert Künnemann, Marcel Steinmetz, Jörg Hoffmann
Faster Stackelberg Planning via Symbolic Search and Information Sharing. AAAI (2021)
Daniel Gnad, Jan Eisenhut, Alberto Lluch-Lafuente, Jörg Hoffmann
Model Checking ømega-Regular Properties with Decoupled Search. CAV (2) (2021)
Daniel Fiser, Daniel Gnad, Michael Katz, Jörg Hoffmann
Custom-Design of FDR Encodings: The Case of Red-Black Planning. IJCAI (2021)
Valentin Seimetz, Rebecca Eifler, Jörg Hoffmann
Learning Temporal Plan Preferences from Examples: An Empirical Study. IJCAI (2021)
Pascal Lauer, Álvaro Torralba, Daniel Fiser, Daniel Höller, Julia Wichlacz, Jörg Hoffmann
Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning. IJCAI (2021)
Timo P. Gros, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, Verena Wolf
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning. QEST (2021)
Maximilian Fickert, Ivan Gavran, Ivan Fedotov, Jörg Hoffmann, Rupak Majumdar, Wheeler Ruml
Choosing the Initial State for Online Replanning. AAAI (2021)
Thorsten Klößner, Jörg Hoffmann, Marcel Steinmetz, Álvaro Torralba
Pattern Databases for Goal-Probability Maximization in Probabilistic Planning. ICAPS (2021)
Julia Wichlacz, Daniel Höller, Álvaro Torralba, Jörg Hoffmann
Applying Monte-Carlo Tree Search in HTN Planning. SOCS (2020)
Patrick Ferber, Malte Helmert, Jörg Hoffmann
Neural Network Heuristics for Classical Planning: A Study of Hyperparameter Space. ECAI (2020)
Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns
Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison. J. Artif. Intell. Res. 68 (2020)
Timo P. Gros, Daniel Höller, Jörg Hoffmann, Verena Wolf
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning - Extended Version. CoRR (2020)
Rebecca Eifler, Marcel Steinmetz, Álvaro Torralba, Jörg Hoffmann
Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties. IJCAI (2020)
Timo P. Gros, David Groß, Stefan Gumhold, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
TraceVis: Towards Visualization for Deep Statistical Model Checking. ISoLA (4) (2020)
Arne Köhn, Julia Wichlacz, Álvaro Torralba, Daniel Höller, Jörg Hoffmann, Alexander Koller
Generating Instructions at Different Levels of Abstraction. CoRR (2020)
Timo P. Gros, Daniel Höller, Jörg Hoffmann, Verena Wolf
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning. QEST (2020)
Frederik Wiehr, Anke Hirsch, Florian Daiber, Antonio Krüger, Alisa Kovtunova, Stefan Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Jörg Hoffmann
Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems. CoRR (2020)
Maximilian Fickert, Tianyi Gu, Leonhard Staut, Wheeler Ruml, Jörg Hoffmann, Marek Petrik
Beliefs We Can Believe in: Replacing Assumptions with Data in Real-Time Search. AAAI (2020)
Christel Baier, Maria Christakis, Timo P. Gros, David Groß, Stefan Gumhold, Holger Hermanns, Jörg Hoffmann, Michaela Klauck
Lab Conditions for Research on Explainable Automated Decisions. TAILOR (2020)
Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Marcel Steinmetz, Christoph Weidenbach
Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. ISoLA (2) (2020)
Rebecca Eifler, Michael Cashmore, Jörg Hoffmann, Daniele Magazzeni, Marcel Steinmetz
A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning. AAAI (2020)
Rebecca Eifler, Jörg Hoffmann
Iterative Planning with Plan-Space Explanations: A Tool and User Study. CoRR (2020)
Arne Köhn, Julia Wichlacz, Christine Schäfer, Álvaro Torralba, Jörg Hoffmann, Alexander Koller
MC-Saar-Instruct: a Platform for Minecraft Instruction Giving Agents. SIGdial (2020)
Arne Köhn, Julia Wichlacz, Álvaro Torralba, Daniel Höller, Jörg Hoffmann, Alexander Koller
Generating Instructions at Different Levels of Abstraction. COLING (2020)
Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
Deep Statistical Model Checking. FORTE (2020)
Jörg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni
Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking. AAAI (2020)
Jörg Hoffmann, Daniele Magazzeni
Explainable AI Planning (XAIP): Overview and the Case of Contrastive Explanation (Extended Abstract). Reasoning Web (2019)
Rebecca Eifler, Maximilian Fickert, Jörg Hoffmann, Wheeler Ruml
Refining Abstraction Heuristics during Real-Time Planning. AAAI (2019)
Dorin Shmaryahu, Jörg Hoffmann, Guy Shani
Comparative Criteria for Partially Observable Contingent Planning. AAMAS (2019)
Dorin Shmaryahu, Guy Shani, Jörg Hoffmann
Comparative criteria for partially observable contingent planning. Auton. Agents Multi Agent Syst. 33 (5) (2019)
Daniel Gnad, Jörg Hoffmann, Martin Wehrle
Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search. J. Artif. Intell. Res. 65 (2019)
Andrew Mitchell, Wheeler Ruml, Fabian Spaniol, Jörg Hoffmann, Marek Petrik
Real-Time Planning as Decision-Making under Uncertainty. AAAI (2019)
Daniel Gnad, Jörg Hoffmann
On the Relation between Star-Topology Decoupling and Petri Net Unfolding. ICAPS (2019)
Patrick Speicher, Marcel Steinmetz, Jörg Hoffmann, Michael Backes, Robert Künnemann
Towards automated network mitigation analysis. SAC (2019)
Frederik Schmitt, Daniel Gnad, Jörg Hoffmann
Advanced Factoring Strategies for Decoupled Search Using Linear Programming. ICAPS (2019)
Dorin Shmaryahu, Guy Shani, Jörg Hoffmann, Marcel Steinmetz
Simulated Penetration Testing as Contingent Planning. ICAPS (2018)
Daniel Gnad, Patrick Dubbert, Alberto Lluch-Lafuente, Jörg Hoffmann
Star-Topology Decoupling in SPIN. SPIN (2018)
Anna Wilhelm, Marcel Steinmetz, Jörg Hoffmann
On Stubborn Sets and Planning with Resources. ICAPS (2018)
Daniel Gnad, Jörg Hoffmann
Star-topology decoupled state space search. Artif. Intell. 257 (2018)
Patrick Speicher, Marcel Steinmetz, Robert Künnemann, Milivoj Simeonovski, Giancarlo Pellegrino, Jörg Hoffmann, Michael Backes
Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure. EuroS&P (2018)
Marcel Steinmetz, Jörg Hoffmann
LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning. IJCAI (2018)
Maximilian Fickert, Daniel Gnad, Jörg Hoffmann
Unchaining the Power of Partial Delete Relaxation, Part II: Finding Plans with Red-Black State Space Search. IJCAI (2018)
Patrick Speicher, Marcel Steinmetz, Michael Backes, Jörg Hoffmann, Robert Künnemann
Stackelberg Planning: Towards Effective Leader-Follower State Space Search. AAAI (2018)
Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns
Compiling Probabilistic Model Checking into Probabilistic Planning. ICAPS (2018)
Maximilian Fickert, Jörg Hoffmann
Ranking Conjunctions for Partial Delete Relaxation Heuristics in Planning. SOCS (2017)
Marcel Steinmetz, Jörg Hoffmann
Critical-Path Dead-End Detection versus NoGoods: Offline Equivalence and Online Learning. ICAPS (2017)
Marcel Steinmetz, Jörg Hoffmann
Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning. IJCAI (2017)
Michael Backes, Jörg Hoffmann, Robert Künnemann, Patrick Speicher, Marcel Steinmetz
Simulated Penetration Testing and Mitigation Analysis. CoRR (2017)
Patrick Speicher, Marcel Steinmetz, Daniel Gnad, Jörg Hoffmann, Alfonso Gerevini
Beyond Red-Black Planning: Limited-Memory State Variables. ICAPS (2017)
Daniel Gnad, Álvaro Torralba, Jörg Hoffmann
Symbolic Leaf Representation in Decoupled Search. SOCS (2017)
Daniel Gnad, Valerie Poser, Jörg Hoffmann
Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search. IJCAI (2017)
Maximilian Fickert, Jörg Hoffmann
Complete Local Search: Boosting Hill-Climbing through Online Relaxation Refinement. ICAPS (2017)
Marcel Steinmetz, Jörg Hoffmann
State space search nogood learning: Online refinement of critical-path dead-end detectors in planning. Artif. Intell. 245 (2017)
Daniel Gnad, Álvaro Torralba, Alexander Shleyfman, Jörg Hoffmann
Symmetry Breaking in Star-Topology Decoupled Search. ICAPS (2017)
Marcel Steinmetz, Jörg Hoffmann, Olivier Buffet
Revisiting Goal Probability Analysis in Probabilistic Planning. ICAPS (2016)
Maximilian Fickert, Jörg Hoffmann, Marcel Steinmetz
Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization. J. Artif. Intell. Res. 56 (2016)
Maximilian Schwenger, Álvaro Torralba, Jörg Hoffmann, David M. Howcroft, Vera Demberg
From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation. COLING (2016)
Daniel Gnad, Martin Wehrle, Jörg Hoffmann
Decoupled Strong Stubborn Sets. IJCAI (2016)
Vera Demberg, Jörg Hoffmann, David M. Howcroft, Dietrich Klakow, Álvaro Torralba
Search Challenges in Natural Language Generation with Complex Optimization Objectives. Künstliche Intell. 30 (1) (2016)
Álvaro Torralba, Daniel Gnad, Patrick Dubbert, Jörg Hoffmann
On State-Dominance Criteria in Fork-Decoupled Search. IJCAI (2016)
Daniel Gnad, Marcel Steinmetz, Mathäus Jany, Jörg Hoffmann, Ivan Serina, Alfonso Gerevini
Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications. SOCS (2016)
Jeanette Daum, Álvaro Torralba, Jörg Hoffmann, Patrik Haslum, Ingo Weber
Practical Undoability Checking via Contingent Planning. ICAPS (2016)
Marcel Steinmetz, Jörg Hoffmann, Olivier Buffet
Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the Art. J. Artif. Intell. Res. 57 (2016)
Marcel Steinmetz, Jörg Hoffmann
Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends. AAAI (2016)
Jörg Hoffmann
Simulated Penetration Testing: From "Dijkstra" to "Turing Test++". ICAPS (2015)

Jörg Hoffmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jörg Hoffmann