| Dokumenttyp | Erscheinungsjahr | Titel | Autoren | Herausgeber |
|---|
| doctoralThesis | 2022 | Conflict-driven learning in AI planning state-space search | Steinmetz, Marcel | |
| 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 | 2018 | LP Heuristics over Conjunctions : Compilation, Convergence, Nogood Learning | Steinmetz, Marcel; Hoffmann, Jörg | Lang, Jérôme |
| 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 | Stackelberg Planning: Towards Effective Leader-Follower State Space Search | Speicher, Patrick; Steinmetz, Marcel; Backes, Michael; Künnemann, Robert; Hoffmann, Jörg | |
| 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 | 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 | 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 | 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 | 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. |
| article | 2017 | State space search nogood learning: Online refinement of critical-path dead-end detectors in planning | Steinmetz, Marcel; Hoffmann, Jörg | |
https://orcid.org/0000-0002-0432-0285