Marcel Steinmetz

According to our database, Marcel Steinmetz authored at least 46 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification: Technical Report.

Gregor Behnke, Marcel Steinmetz

CoRR, 2024

2023

Analyzing neural network behavior through deep statistical model checking.

Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz

Int. J. Softw. Tools Technol. Transf., June, 2023

Cartesian Abstractions and Saturated Cost Partitioning in Probabilistic Planning.

Thorsten Klößner, Jendrik Seipp, Marcel Steinmetz

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Lifted Stackelberg Planning.

Philipp Sauer, Marcel Steinmetz, Robert Künnemann, Jörg Hoffmann

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems.

Thorsten Klößner, Álvaro Torralba, Marcel Steinmetz, Silvan Sievers

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2022

Conflict-driven learning in AI planning state-space search.

Marcel Steinmetz

PhD thesis, 2022

Expressivity of Planning with Horn Description Logic Ontologies (Technical Report).

Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz

CoRR, 2022

Glyph-Based Visual Analysis of Q-Leaning Based Action Policy Ensembles on Racetrack.

David Groß, Michaela Klauck, Timo P. Gros, Marcel Steinmetz, Jörg Hoffmann, Stefan Gumhold

Proceedings of the 26th International Conference Information Visualisation, 2022

Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract).

Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Neural Network Action Policy Verification via Predicate Abstraction.

Marcel Vinzent, Marcel Steinmetz, Jörg Hoffmann

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Debugging a Policy: Automatic Action-Policy Testing in AI Planning.

Marcel Steinmetz, Daniel Fiser, Hasan Ferit Eniser, Patrick Ferber, Timo P. Gros, Philippe Heim, Daniel Höller, Xandra Schuler, Valentin Wüstholz, Maria Christakis, Jörg Hoffmann

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Pattern Selection Strategies for Pattern Databases in Probabilistic Planning.

Thorsten Klößner, Marcel Steinmetz, Álvaro Torralba, Jörg Hoffmann

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Classical Planning with Avoid Conditions.

Marcel Steinmetz, Jörg Hoffmann, Alisa Kovtunova, Stefan Borgwardt

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

Expressivity of Planning with Horn Description Logic Ontologies.

Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Making DL-Lite Planning Practical.

Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

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

Frederik Wiehr, Anke Hirsch, Lukas Schmitz, Nina Knieriemen, Antonio Krüger, Alisa Kovtunova, Stefan Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Jörg Hoffmann

Proceedings of the ICMI '21: International Conference on Multimodal Interaction, 2021

Making DL-Lite Planning Practical (Extended Abstract).

Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Pattern Databases for Goal-Probability Maximization in Probabilistic Planning.

Thorsten Klößner, Jörg Hoffmann, Marcel Steinmetz, Álvaro Torralba

Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

Faster Stackelberg Planning via Symbolic Search and Information Sharing.

Álvaro Torralba, Patrick Speicher, Robert Künnemann, Marcel Steinmetz, Jörg Hoffmann

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

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

Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns

J. Artif. Intell. Res., 2020

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

Frederik Wiehr, Anke Hirsch, Florian Daiber, Antonio Krüger, Alisa Kovtunova, Stefan Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Jörg Hoffmann

CoRR, 2020

TraceVis: Towards Visualization for Deep Statistical Model Checking.

Timo P. Gros, David Groß, Stefan Gumhold, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification.

Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Marcel Steinmetz, Christoph Weidenbach

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

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

Rebecca Eifler, Marcel Steinmetz, Álvaro Torralba, Jörg Hoffmann

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Deep Statistical Model Checking.

Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

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

Jörg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

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

Rebecca Eifler, Michael Cashmore, Jörg Hoffmann, Daniele Magazzeni, Marcel Steinmetz

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

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

Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Towards automated network mitigation analysis.

Patrick Speicher, Marcel Steinmetz, Jörg Hoffmann, Michael Backes, Robert Künnemann

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

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

Marcel Steinmetz, Álvaro Torralba

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018

LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning.

Marcel Steinmetz, Jörg Hoffmann

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

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

Patrick Speicher, Marcel Steinmetz, Robert Künnemann, Milivoj Simeonovski, Giancarlo Pellegrino, Jörg Hoffmann, Michael Backes

Proceedings of the 2018 IEEE European Symposium on Security and Privacy, 2018

On Stubborn Sets and Planning with Resources.

Anna Wilhelm, Marcel Steinmetz, Jörg Hoffmann

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

Simulated Penetration Testing as Contingent Planning.

Dorin Shmaryahu, Guy Shani, Jörg Hoffmann, Marcel Steinmetz

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

Compiling Probabilistic Model Checking into Probabilistic Planning.

Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

Stackelberg Planning: Towards Effective Leader-Follower State Space Search.

Patrick Speicher, Marcel Steinmetz, Michael Backes, Jörg Hoffmann, Robert Künnemann

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Simulated Penetration Testing and Mitigation Analysis.

Michael Backes, Jörg Hoffmann, Robert Künnemann, Patrick Speicher, Marcel Steinmetz

CoRR, 2017

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

Marcel Steinmetz, Jörg Hoffmann

Artif. Intell., 2017

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

Marcel Steinmetz, Jörg Hoffmann

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

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

Marcel Steinmetz, Jörg Hoffmann

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

Beyond Red-Black Planning: Limited-Memory State Variables.

Patrick Speicher, Marcel Steinmetz, Daniel Gnad, Jörg Hoffmann, Alfonso Gerevini

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

2016

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

Marcel Steinmetz, Jörg Hoffmann, Olivier Buffet

J. Artif. Intell. Res., 2016

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

Maximilian Fickert, Jörg Hoffmann, Marcel Steinmetz

J. Artif. Intell. Res., 2016

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

Daniel Gnad, Marcel Steinmetz, Mathäus Jany, Jörg Hoffmann, Ivan Serina, Alfonso Gerevini

Proceedings of the Ninth Annual Symposium on Combinatorial Search, 2016

Revisiting Goal Probability Analysis in Probabilistic Planning.

Marcel Steinmetz, Jörg Hoffmann, Olivier Buffet

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

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

Marcel Steinmetz, Jörg Hoffmann

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016