Number of items: 17.
Torralba, Àlvaro and Speicher, Patrick and Künnemann, Robert and Hoffmann, Jörg and Steinmetz, Marcel
(2021)
Faster Stackelberg Planning via Symbolic Search and Information Sharing.
Steinmetz, Marcel and Torralba, Àlvaro
(2019)
Bridging the Gap Between Abstractions and Critical-Path Heuristics via Hypergraphs.
Speicher, Patrick and Steinmetz, Marcel and Hoffmann, Jörg and Backes, Michael and Künnemann, Robert
(2019)
Towards Automated Network Mitigation Analysis.
Speicher, Patrick and Steinmetz, Marcel and Hoffmann, Jörg and Backes, Michael and Künnemann, Robert
(2019)
Towards Automated Network Mitigation Analysis (extended version).
Speicher, Patrick and Steinmetz, Marcel and Künnemann, Robert and Simeonovski, Milivoj and Pellegrino, Giancarlo and Hoffmann, Jörg and Backes, Michael
(2018)
Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure.
Speicher, Patrick and Steinmetz, Marcel and Künnemann, Robert and Simeonovski, Milivoj and Pellegrino, Giancarlo and Hoffmann, Jörg and Backes, Michael
(2018)
Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure (full version).
Speicher, Patrick and Steinmetz, Marcel and Backes, Michael and Hoffmann, Jörg and Künnemann, Robert
(2018)
Stackelberg Planning: Towards Effective Leader-Follower State Space Search.
Steinmetz, Marcel and Hoffmann, Jörg
(2017)
State Space Search Nogood Learning: Online Refinement of Critical-Path Dead-End Detectors in Planning.
Artificial Intelligence (journal), ???.
-.
Speicher, Patrick and Steinmetz, Marcel and Gnad, Daniel and Hoffmann, Jörg and Gerevini, Alfonso
(2017)
Beyond Red-Black Planning: Limited-Memory State Variables.
Steinmetz, Marcel and Hoffmann, Jörg
(2017)
Critical-Path Dead-End Detection versus NoGoods: Offline Equivalence and Online Learning.
Steinmetz, Marcel and Hoffmann, Jörg
(2017)
Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning.
Backes, Michael and Hoffmann, Jörg and Künnemann, Robert and Speicher, Patrick and Steinmetz, Marcel
(2017)
Simulated Penetration Testing and Mitigation Analysis.
CoRR, abs/17.
Steinmetz, Marcel and Hoffmann, Jörg and Buffet, Olivier
(2016)
Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the Art.
J. Artif. Intell. Res. (JAIR), 57.
pp. 229-271.
Gnad, Daniel and Steinmetz, Marcel and Jany, Mathäus and Hoffmann, Jörg and Serina, Ivan and Gerevini, Alfonso
(2016)
Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications.
Steinmetz, Marcel and Hoffmann, Jörg and Buffet, Olivier
(2016)
Revisiting Goal Probability Analysis in Probabilistic Planning.
Fickert, Maximilian and Hoffmann, Jörg and Steinmetz, Marcel
(2016)
Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization.
J. Artif. Intell. Res., 56.
269–327.
Steinmetz, Marcel and Hoffmann, Jörg
(2016)
Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends.
This list was generated on Tue Oct 15 16:51:11 2024 CEST.