Quicklinks
Decorative photo of one of the top-corners of the CISPA building
Portrait of Person: Marcel Steinmetz

Marcel Steinmetz (PhD Student)
 
 Campus E9 1 | 66123 Saarbrücken | 2.12

Publications:

Title Date Date Meta
Stackelberg Planning: Towards Effective Leader-Follower State Space Search 2018  2018   Patrick Speicher, Marcel Steinmetz, Michael Backes, Jörg Hoffmann, Robert Künnemann  The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18)
Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure 2018  2018   Patrick Speicher, Marcel Steinmetz, Robert Künnemann, Milivoj Simeonovski, Giancarlo Pellegrino, Jörg Hoffmann, Michael Backes  2018 IEEE European Symposium on Security and Privacy, EuroS&P 2018, London, United Kingdom, April 24-26, 2018
Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure (full version) [TechReport] 2018  2018   Patrick Speicher, Marcel Steinmetz, Robert Künnemann, Milivoj Simeonovski, Giancarlo Pellegrino, Jörg Hoffmann, Michael Backes
State Space Search Nogood Learning: Online Refinement of Critical-Path Dead-End Detectors in Planning 2017  2017   Marcel Steinmetz, Jörg Hoffmann
Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications 2016  2016   Daniel Gnad, Marcel Steinmetz, Mathäus Jany, Jörg Hoffmann, Ivan Serina, Alfonso Gerevini  Proceedings of the 9th Annual Symposium on Combinatorial Search (SOCS'16)
Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the Art 2016  2016   Marcel Steinmetz, Jörg Hoffmann, Olivier Buffet
Revisiting Goal Probability Analysis in Probabilistic Planning 2016  2016   Marcel Steinmetz, Jörg Hoffmann, Olivier Buffet  Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS'16)