Items where Author is "Steinmetz, Marcel"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
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.
In: 35th AAAI Conference on Artificial Intelligence, February 2-9, 2021, virtual conference.
Conference: AAAI National Conference of the American Association for Artificial Intelligence

Steinmetz, Marcel and Torralba, Àlvaro
(2019) Bridging the Gap Between Abstractions and Critical-Path Heuristics via Hypergraphs.
In: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS'19), Berkeley, CA, USA, 2019..
Conference: ICAPS International Conference on Automated Planning and Scheduling

Speicher, Patrick and Steinmetz, Marcel and Hoffmann, Jörg and Backes, Michael and Künnemann, Robert
(2019) Towards Automated Network Mitigation Analysis.
In: The 34th ACM/SIGAPP Symposium On Applied Computing, Limassol, Cyprus.
Conference: SAC ACM Symposium on Applied Computing

Speicher, Patrick and Steinmetz, Marcel and Hoffmann, Jörg and Backes, Michael and Künnemann, Robert
(2019) Towards Automated Network Mitigation Analysis (extended version).
In: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing.
Conference: SAC ACM Symposium on Applied Computing

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.
In: 2018 IEEE European Symposium on Security and Privacy, EuroS&P 2018, London, United Kingdom, April 24-26, 2018.
Conference: EuroS&P IEEE European Symposium on Security and Privacy

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).
CISPA
.

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.
In: The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18), New Orleans, Louisiana, USA.
Conference: AAAI National Conference of the American Association for Artificial Intelligence

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.
In: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017..
Conference: ICAPS International Conference on Automated Planning and Scheduling

Steinmetz, Marcel and Hoffmann, Jörg
(2017) Critical-Path Dead-End Detection versus NoGoods: Offline Equivalence and Online Learning.
In: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017..
Conference: ICAPS International Conference on Automated Planning and Scheduling

Steinmetz, Marcel and Hoffmann, Jörg
(2017) Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning.
In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017.
Conference: IJCAI International Joint Conference on Artificial Intelligence

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.
In: Proceedings of the 9th Annual Symposium on Combinatorial Search (SOCS'16).

Steinmetz, Marcel and Hoffmann, Jörg and Buffet, Olivier
(2016) Revisiting Goal Probability Analysis in Probabilistic Planning.
In: Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS'16).
Conference: ICAPS International Conference on Automated Planning and Scheduling

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.
In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA..
Conference: AAAI National Conference of the American Association for Artificial Intelligence

This list was generated on Wed Apr 24 21:10:37 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.