Marcel Steinmetz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
26
Venues
12
Active years
2016–2025
Best venue rank
A*
Where they publish
Papers
26 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ECAI | Policy Safety Testing in Non-Deterministic Planning: Fuzzing, Test Oracles, Fault Analysis. | Chaahat Jain, Daniel Sherbakov, Marcel Vinzent, Marcel Steinmetz, Jesse Davis, Jrg Hoffmann |
| 2024 | ECAI | Safety Verification of Tree-Ensemble Policies via Predicate Abstraction. | Chaahat Jain, Lorenzo Cascioli, Laurens Devos, Marcel Vinzent, Marcel Steinmetz, Jesse Davis, Jrg Hoffmann |
| 2024 | ECAI | Merge-and-Shrink Heuristics for SSPs with Prune Transformations. | Thorsten Klner, lvaro Torralba, Marcel Steinmetz, Silvan Sievers |
| 2024 | ICAPS | On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification. | Gregor Behnke, Marcel Steinmetz |
| 2024 | ICAPS | Towards Feasible Higher-Dimensional Potential Heuristics. | Daniel Fiser, Marcel Steinmetz |
| 2024 | ICAPS | Explaining the Space of SSP Policies via Policy-Property Dependencies: Complexity, Algorithms, and Relation to Multi-Objective Planning. | Marcel Steinmetz, Sylvie Thibaux, Daniel Hller, Florent Teichteil-Knigsbuch |
| 2023 | ECAI | Cartesian Abstractions and Saturated Cost Partitioning in Probabilistic Planning. | Thorsten Klner, Jendrik Seipp, Marcel Steinmetz |
| 2022 | AAAI | Expressivity of Planning with Horn Description Logic Ontologies. | Stefan Borgwardt, Jrg Hoffmann, Alisa Kovtunova, Markus Krtzsch, Bernhard Nebel, Marcel Steinmetz |
| 2022 | AAAI | Classical Planning with Avoid Conditions. | Marcel Steinmetz, Jrg Hoffmann, Alisa Kovtunova, Stefan Borgwardt |
| 2022 | IV | Glyph-Based Visual Analysis of Q-Leaning Based Action Policy Ensembles on Racetrack. | David Gro, Michaela Klauck, Timo P. Gros, Marcel Steinmetz, Jrg Hoffmann, Stefan Gumhold |
| 2021 | AAAI | Faster Stackelberg Planning via Symbolic Search and Information Sharing. | lvaro Torralba, Patrick Speicher, Robert Knnemann, Marcel Steinmetz, Jrg Hoffmann |
| 2021 | ICMI | 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 Krger, Alisa Kovtunova, Stefan Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Jrg Hoffmann |
| 2021 | KR | Making DL-Lite Planning Practical. | Stefan Borgwardt, Jrg Hoffmann, Alisa Kovtunova, Marcel Steinmetz |
| 2020 | AAAI | A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning. | Rebecca Eifler, Michael Cashmore, Jrg Hoffmann, Daniele Magazzeni, Marcel Steinmetz |
| 2020 | AAAI | Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking. | Jrg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni |
| 2020 | FORTE | Deep Statistical Model Checking. | Timo P. Gros, Holger Hermanns, Jrg Hoffmann, Michaela Klauck, Marcel Steinmetz |
| 2020 | IJCAI | Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties. | Rebecca Eifler, Marcel Steinmetz, lvaro Torralba, Jrg Hoffmann |
| 2020 | ISoLA | Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. | Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jrg Hoffmann, Michaela Klauck, Maximilian A. Khl, Marcel Steinmetz, Christoph Weidenbach |
| 2020 | ISoLA | TraceVis: Towards Visualization for Deep Statistical Model Checking. | Timo P. Gros, David Gro, Stefan Gumhold, Jrg Hoffmann, Michaela Klauck, Marcel Steinmetz |
| 2019 | SAC | Towards automated network mitigation analysis. | Patrick Speicher, Marcel Steinmetz, Jrg Hoffmann, Michael Backes, Robert Knnemann |
| 2019 | TACAS | 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 Kretnsk, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz |
| 2018 | AAAI | Stackelberg Planning: Towards Effective Leader-Follower State Space Search. | Patrick Speicher, Marcel Steinmetz, Michael Backes, Jrg Hoffmann, Robert Knnemann |
| 2018 | IJCAI | LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning. | Marcel Steinmetz, Jrg Hoffmann |
| 2017 | IJCAI | Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning. | Marcel Steinmetz, Jrg Hoffmann |
| 2016 | AAAI | Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends. | Marcel Steinmetz, Jrg Hoffmann |
| 2016 | SoCS | Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications. | Daniel Gnad, Marcel Steinmetz, Mathus Jany, Jrg Hoffmann, Ivan Serina, Alfonso Gerevini |