Patrick Speicher

Towards automated network mitigation analysis

Jörg Hoffmann, Michael Backes, Patrick Speicher, 2019, SAC.

Beyond Red-Black Planning: Limited-Memory State Variables

Jörg Hoffmann, Alfonso Gerevini, Patrick Speicher, 2017, ICAPS.

Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure

Jörg Hoffmann, Michael Backes, Patrick Speicher, 2018, 2018 IEEE European Symposium on Security and Privacy (EuroS&P).

Towards Automated Network Mitigation Analysis (extended)

Jörg Hoffmann, Michael Backes, Patrick Speicher, 2017 .

Towards Automated Network Mitigation Analysis (extended version)

Jörg Hoffmann, Michael Backes, Patrick Speicher, 2019 .

Stackelberg Planning: Towards Effective Leader-Follower State Space Search

Jörg Hoffmann, Michael Backes, Patrick Speicher, 2018, AAAI.

Planning in the Browser

Michael Backes, Álvaro Torralba, Patrick Speicher, 2020 .

Simulated Penetration Testing and Mitigation Analysis pdf

Jörg Hoffmann, Michael Backes, Patrick Speicher, 2017, ArXiv.

Faster Stackelberg Planning via Symbolic Search and Information Sharing

Jörg Hoffmann, Álvaro Torralba, Patrick Speicher, 2021, AAAI.

SaarPlan : Combining Saarland ’ s Greatest Planning Techniques

Jörg Hoffmann, Patrick Speicher, Daniel Gnad, 2018 .