Marcel Steinmetz

发表

Towards automated network mitigation analysis

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

Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems pdf

Vera Demberg, Stefan Borgwardt, Marcel Steinmetz, 2020, ArXiv.

Beyond Red-Black Planning: Limited-Memory State Variables

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

Simulated Penetration Testing as Contingent Planning

Guy Shani, Jörg Hoffmann, Marcel Steinmetz, 2018, ICAPS.

Critical-Path Dead-End Detection versus NoGoods: Offline Equivalence and Online Learning

Jörg Hoffmann, Marcel Steinmetz, 2017, ICAPS.

Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning

Jörg Hoffmann, Marcel Steinmetz, J. Hoffmann, 2017, IJCAI.

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

Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization

Jörg Hoffmann, Marcel Steinmetz, Maximilian Fickert, 2016, J. Artif. Intell. Res..

Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking

Erez Karpas, Daniele Magazzeni, Holger Hermanns, 2020, AAAI.

Deep Statistical Model Checking

Holger Hermanns, Marcel Steinmetz, Michaela Klauck, 2020, FORTE.

Towards Automated Network Mitigation Analysis (extended)

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

Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications

Jörg Hoffmann, Ivan Serina, Alfonso Gerevini, 2021, SOCS.

Bridging the Gap between Abstractions and Critical-Path Heuristics via Hypergraphs

Álvaro Torralba, Marcel Steinmetz, 2019, ICAPS.

Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends

Jörg Hoffmann, Marcel Steinmetz, J. Hoffmann, 2016, AAAI.

Towards Automated Network Mitigation Analysis (extended version)

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

Partially Observable Contingent Planning for Penetration Testing

Guy Shani, Marcel Steinmetz, Dorin Shmaryahu, 2017 .

State space search nogood learning: Online refinement of critical-path dead-end detectors in planning

Jörg Hoffmann, Marcel Steinmetz, J. Hoffmann, 2017, Artif. Intell..

Stackelberg Planning: Towards Effective Leader-Follower State Space Search

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

Compiling Probabilistic Model Checking into Probabilistic Planning

Jörg Hoffmann, Holger Hermanns, Marcel Steinmetz, 2018, ICAPS.

LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning

Jörg Hoffmann, Marcel Steinmetz, 2018, IJCAI.

A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning

Daniele Magazzeni, Michael Cashmore, Marcel Steinmetz, 2020, AAAI.

What Does it Take to Render h+(ΠC) Perfect?

Patrik Haslum, Marcel Steinmetz, Jörg Hoffmann, 2014, ICAPS 2014.

The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report)

Jan Kretínský, Joachim Klein, Arnd Hartmanns, 2019, TACAS.

Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification

Christoph Weidenbach, Christof Fetzer, Holger Hermanns, 2020, ISoLA.

Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties

Álvaro Torralba, Marcel Steinmetz, Rebecca Eifler, 2020, IJCAI.

Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison

Holger Hermanns, Marcel Steinmetz, Michaela Klauck, 2020, J. Artif. Intell. Res..

Simulated Penetration Testing and Mitigation Analysis pdf

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

Revisiting Goal Probability Analysis in Probabilistic Planning

Olivier Buffet, Jörg Hoffmann, Marcel Steinmetz, 2016, ICAPS.

On Stubborn Sets and Planning with Resources

Jörg Hoffmann, Marcel Steinmetz, Anna Wilhelm, 2018, ICAPS.

Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the Art

Olivier Buffet, Jörg Hoffmann, Marcel Steinmetz, 2016, J. Artif. Intell. Res..

Faster Stackelberg Planning via Symbolic Search and Information Sharing

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

Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD

Antonio Krüger, Stefan Borgwardt, Vera Demberg, 2021, ICMI.

Making DL-Lite Planning Practical (Extended Abstract)

Stefan Borgwardt, Marcel Steinmetz, Alisa Kovtunova, 2021, Description Logics.

Pattern Databases for Goal-Probability Maximization in Probabilistic Planning

Jörg Hoffmann, Álvaro Torralba, Marcel Steinmetz, 2021, ICAPS.

Django : Unchaining the Power of Red-Black Planning

Jörg Hoffmann, Marcel Steinmetz, Daniel Gnad, 2016 .

CLone : A Critical-Path Driven Clause Learner

Jörg Hoffmann, Marcel Steinmetz, 2016 .

TraceVis: Towards Visualization for Deep Statistical Model Checking

Jörg Hoffmann, Stefan Gumhold, Marcel Steinmetz, 2020, ISoLA.

Explaining the Space of Plans through Plan-Property Dependencies

Jörg Hoffmann, Daniele Magazzeni, Michael Cashmore, 2019 .