| Dokumenttyp | Erscheinungsjahr | Titel | Autoren | Herausgeber |
|---|
| article | 2024 | Boosting optimal symbolic planning: Operator-potential heuristics | Fišer, Daniel; Torralba, Álvaro; Hoffmann, Jörg | |
| article | 2022 | Analyzing neural network behavior through deep statistical model checking | Gros, Timo P.; Hermanns, Holger; Hoffmann, Jörg; Klauck, Michaela; Steinmetz, Marcel | |
| conferenceObjectPart | 2021 | Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD | Wiehr, Frederik; Hirsch, Anke; Schmitz, Lukas; Knieriemen, Nina; Krüger, Antonio; Kovtunova, Alisa; Borgwardt, Stefan; Chang, Ernie; Demberg, Vera; Steinmetz, Marcel; Hoffmann, Jörg | Hammal, Zakia; Busso, Carlos; Pelachaud, Catherine; Oviatt, Sharon; Salah, Albert Ali; Zhao, Guoying |
| conferenceObjectPart | 2020 | Generating Instructions at Different Levels of Abstraction | Köhn, Arne; Wichlacz, Julia; Torralba, Álvaro; Höller, Daniel; Hoffmann, Jörg; Koller, Alexander | Zampieri, Marcos |
| conferenceObjectPart | 2020 | MC-Saar-Instruct: a Platform for Minecraft Instruction Giving Agents | Köhn, Arne; Wichlacz, Julia; Schäfer, Christine; Torralba Arias de Reyna, Alvaro; Hoffmann, Jörg; Koller, Alexander | Pietquin, Olivier; Muresan, Smaranda; Chen, Vivian; Kennington, Casey; Vandyke, David; Dethlefs, Nina; Inoue, Koji; Ekstedt, Erik; Ultes, Stefan |
| article | 2019 | Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search | Gnad, Daniel; Hoffmann, Jörg; Wehrle, Martin | |
| article | 2018 | Star-topology decoupled state space search | Gnad, Daniel; Hoffmann, Jörg | |
| conferenceObjectPart | 2018 | LP Heuristics over Conjunctions : Compilation, Convergence, Nogood Learning | Steinmetz, Marcel; Hoffmann, Jörg | Lang, Jérôme |
| conferenceObjectPart | 2018 | Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure | Speicher, Patrick; Steinmetz, Marcel; Künnemann, Robert; Simeonovski, Milivoj; Pellegrino, Giancarlo; Hoffmann, Jörg; Backes, Michael | |
| conferenceObjectPart | 2018 | On Stubborn Sets and Planning with Resources | Wilhelm, Anna; Steinmetz, Marcel; Hoffmann, Jörg | de Weerdt, Mathijs; Koenig, Sven; Röger, Gabriele; Spaan, Matthijs |
| conferenceObjectPart | 2018 | Compiling Probabilistic Model Checking into Probabilistic Planning | Klauck, Michaela; Steinmetz, Marcel; Hoffmann, Jörg; Hermanns, Holger | de Weerdt, Mathijs; Koenig, Sven; Röger, Gabriele; Spaan, Matthijs |
| conferenceObjectPart | 2018 | Simulated Penetration Testing as Contingent Planning | Shmaryahu, Dorin; Shani, Guy; Hoffmann, Jörg; Steinmetz, Marcel | de Weerdt, Mathijs; Koenig, Sven; Röger, Gabriele; Spaan, Matthijs |
| conferenceObjectPart | 2018 | Stackelberg Planning: Towards Effective Leader-Follower State Space Search | Speicher, Patrick; Steinmetz, Marcel; Backes, Michael; Künnemann, Robert; Hoffmann, Jörg | |
| conferenceObjectPart | 2018 | Unchaining the Power of Partial Delete Relaxation, Part II : Finding Plans with Red-Black State Space Search | Fickert, Maximilian; Gnad, Daniel; Hoffmann, Jörg | Lang, Jérôme |
| conferenceObjectPart | 2018 | Star-Topology Decoupling in SPIN | Gnad, Daniel; Dubbert, Patrick; Lluch, Alberto; Hoffmann, Jörg | del Mar Gallardo, Maria; Merino, Pedro |
| article | 2017 | State space search nogood learning: Online refinement of critical-path dead-end detectors in planning | Steinmetz, Marcel; Hoffmann, Jörg | |
| conferenceObjectPart | 2017 | Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning | Steinmetz, Marcel; Hoffmann, Jörg | Sierra, Carles |
| conferenceObjectPart | 2017 | Critical-Path Dead-End Detection versus NoGoods : Offline Equivalence and Online Learning | Steinmetz, Marcel; Hoffmann, Jörg | Barbulescu, Laura; Frank, Jeremy; Mausam; Smith, Stephen F. |
| conferenceObjectPart | 2017 | Beyond Red-Black Planning: Limited-Memory State Variables | Speicher, Patrick; Steinmetz, Marcel; Gnad, Daniel; Hoffmann, Jörg; Gerevini, Alfonso | Barbulescu, Laura; Frank, Jeremy; Mausam; Smith, Stephen F. |
| conferenceObjectPart | 2017 | Ranking Conjunctions for Partial Delete Relaxation Heuristics in Planning | Fickert, Maximilian; Hoffmann, Jörg | Fukunaga, Alex; Kishimoto, Akihiro |
https://orcid.org/0000-0002-5352-2529