Marcel Steinmetz

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 48

Top Topics

Probabilistic Planning

Top Venues

J. Artif. Intell. Res.

Publications

Daniel Fiser, Marcel Steinmetz
Towards Feasible Higher-Dimensional Potential Heuristics. ICAPS (2024)
Marcel Steinmetz, Sylvie Thiébaux, Daniel Höller, Florent Teichteil-Königsbuch
Explaining the Space of SSP Policies via Policy-Property Dependencies: Complexity, Algorithms, and Relation to Multi-Objective Planning. ICAPS (2024)
Gregor Behnke, Marcel Steinmetz
On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification. ICAPS (2024)
Gregor Behnke, Marcel Steinmetz
On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification: Technical Report. CoRR (2024)
Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
Analyzing neural network behavior through deep statistical model checking. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Thorsten Klößner, Álvaro Torralba, Marcel Steinmetz, Silvan Sievers
A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems. ICAPS (2023)
Thorsten Klößner, Jendrik Seipp, Marcel Steinmetz
Cartesian Abstractions and Saturated Cost Partitioning in Probabilistic Planning. ECAI (2023)
Philipp Sauer, Marcel Steinmetz, Robert Künnemann, Jörg Hoffmann
Lifted Stackelberg Planning. ICAPS (2023)
Marcel Vinzent, Marcel Steinmetz, Jörg Hoffmann
Neural Network Action Policy Verification via Predicate Abstraction. ICAPS (2022)
David Groß, Michaela Klauck, Timo P. Gros, Marcel Steinmetz, Jörg Hoffmann, Stefan Gumhold
Glyph-Based Visual Analysis of Q-Leaning Based Action Policy Ensembles on Racetrack. IV (2022)
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies. AAAI (2022)
Thorsten Klößner, Marcel Steinmetz, Álvaro Torralba, Jörg Hoffmann
Pattern Selection Strategies for Pattern Databases in Probabilistic Planning. ICAPS (2022)
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies (Technical Report). CoRR (2022)
Marcel Steinmetz, Jörg Hoffmann, Alisa Kovtunova, Stefan Borgwardt
Classical Planning with Avoid Conditions. AAAI (2022)
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract). Description Logics (2022)
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
Debugging a Policy: Automatic Action-Policy Testing in AI Planning. ICAPS (2022)
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz
Making DL-Lite Planning Practical (Extended Abstract). Description Logics (2021)
Frederik Wiehr, Anke Hirsch, Lukas Schmitz, Nina Knieriemen, Antonio Krüger, Alisa Kovtunova, Stefan Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Jörg Hoffmann
Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD. ICMI (2021)
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz
Making DL-Lite Planning Practical. KR (2021)
Álvaro Torralba, Patrick Speicher, Robert Künnemann, Marcel Steinmetz, Jörg Hoffmann
Faster Stackelberg Planning via Symbolic Search and Information Sharing. AAAI (2021)
Thorsten Klößner, Jörg Hoffmann, Marcel Steinmetz, Álvaro Torralba
Pattern Databases for Goal-Probability Maximization in Probabilistic Planning. ICAPS (2021)
Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns
Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison. J. Artif. Intell. Res. 68 (2020)
Rebecca Eifler, Marcel Steinmetz, Álvaro Torralba, Jörg Hoffmann
Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties. IJCAI (2020)
Timo P. Gros, David Groß, Stefan Gumhold, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
TraceVis: Towards Visualization for Deep Statistical Model Checking. ISoLA (4) (2020)
Frederik Wiehr, Anke Hirsch, Florian Daiber, Antonio Krüger, Alisa Kovtunova, Stefan Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Jörg Hoffmann
Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems. CoRR (2020)
Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Marcel Steinmetz, Christoph Weidenbach
Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. ISoLA (2) (2020)
Rebecca Eifler, Michael Cashmore, Jörg Hoffmann, Daniele Magazzeni, Marcel Steinmetz
A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning. AAAI (2020)
Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
Deep Statistical Model Checking. FORTE (2020)
Jörg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni
Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking. AAAI (2020)
Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). TACAS (3) (2019)
Patrick Speicher, Marcel Steinmetz, Jörg Hoffmann, Michael Backes, Robert Künnemann
Towards automated network mitigation analysis. SAC (2019)
Marcel Steinmetz, Álvaro Torralba
Bridging the Gap between Abstractions and Critical-Path Heuristics via Hypergraphs. ICAPS (2019)
Dorin Shmaryahu, Guy Shani, Jörg Hoffmann, Marcel Steinmetz
Simulated Penetration Testing as Contingent Planning. ICAPS (2018)
Anna Wilhelm, Marcel Steinmetz, Jörg Hoffmann
On Stubborn Sets and Planning with Resources. ICAPS (2018)
Patrick Speicher, Marcel Steinmetz, Robert Künnemann, Milivoj Simeonovski, Giancarlo Pellegrino, Jörg Hoffmann, Michael Backes
Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure. EuroS&P (2018)
Marcel Steinmetz, Jörg Hoffmann
LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning. IJCAI (2018)
Patrick Speicher, Marcel Steinmetz, Michael Backes, Jörg Hoffmann, Robert Künnemann
Stackelberg Planning: Towards Effective Leader-Follower State Space Search. AAAI (2018)
Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns
Compiling Probabilistic Model Checking into Probabilistic Planning. ICAPS (2018)
Marcel Steinmetz, Jörg Hoffmann
Critical-Path Dead-End Detection versus NoGoods: Offline Equivalence and Online Learning. ICAPS (2017)
Marcel Steinmetz, Jörg Hoffmann
Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning. IJCAI (2017)
Michael Backes, Jörg Hoffmann, Robert Künnemann, Patrick Speicher, Marcel Steinmetz
Simulated Penetration Testing and Mitigation Analysis. CoRR (2017)
Patrick Speicher, Marcel Steinmetz, Daniel Gnad, Jörg Hoffmann, Alfonso Gerevini
Beyond Red-Black Planning: Limited-Memory State Variables. ICAPS (2017)
Marcel Steinmetz, Jörg Hoffmann
State space search nogood learning: Online refinement of critical-path dead-end detectors in planning. Artif. Intell. 245 (2017)
Marcel Steinmetz, Jörg Hoffmann, Olivier Buffet
Revisiting Goal Probability Analysis in Probabilistic Planning. ICAPS (2016)
Maximilian Fickert, Jörg Hoffmann, Marcel Steinmetz
Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization. J. Artif. Intell. Res. 56 (2016)
Daniel Gnad, Marcel Steinmetz, Mathäus Jany, Jörg Hoffmann, Ivan Serina, Alfonso Gerevini
Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications. SOCS (2016)
Marcel Steinmetz, Jörg Hoffmann, Olivier Buffet
Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the Art. J. Artif. Intell. Res. 57 (2016)
Marcel Steinmetz, Jörg Hoffmann
Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends. AAAI (2016)