Bridging
the Gap Between Probabilistic Model Checking and Probabilistic
Planning: Survey, Compilations, and Empirical
Comparison (PDF at JAIR) M. Klauck,
M. Steinmetz,
J. Hoffmann, and
H. Hermanns Journal of Artificial Intelligence Research, Volume 68,
2020, pages 247-310.
Goal Probability Analysis in MDP Probabilistic Planning: Exploring and Enhancing the State of the Art (PDF at JAIR) M. Steinmetz, J. Hoffmann, and O. Buffet Journal of Artificial Intelligence Research, Volume 57, 2016, pages 229-271.
Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization (PDF) M. Fickert, J. Hoffmann, and M. Steinmetz Journal of Artificial Intelligence Research, Volume 56, 2016, pages 269-327.
Peer-Reviewed Conference Publications
A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems T. Klößner,
A. Torralba,
M. Steinmetz,
and S. Sievers Proceedings of the 33rd International Conference on Automated
Planning and Scheduling (ICAPS'23), 2023.
Lifted Stackelberg Planning (PDF) (Code & TR)
Philipp Sauer,
M. Steinmetz,
R. Kuennemann,
and J. Hoffmann Proceedings of the 33rd International Conference on Automated
Planning and Scheduling (ICAPS'23), 2023.
Glyph-Based Visual Analysis of Q-Learning Based Action Policy
Ensembles on Racetrack (PDF) D. Groß,
M. Klauck,
T. Gros,
M. Steinmetz,
J. Hoffmann,
and
S. Gumhold Proceedings of the 26th International Conference on Information
Visualisation (IV'22), 2022.
TraceVis: Towards Visualization for Deep Statistical Model
Checking (PDF) T. Gros,
D. Gros,
S. Gumhold,
J. Hoffmann,
M. Klauck,
and M. Steinmetz Proceedings of the 9th International Symposium
On Leveraging Applications of Formal Methods, Verification and
Validation (ISoLA'20), 2020.
Towards Dynamic Dependable Systems through Evidence-Based
Continuous Certification R. Faqeh,
C. Fetzer,
H. Hermanns,
J. Hoffmann,
M. Klauck,
M. Köhl,
M. Steinmetz,
and
C. Weidenbach Proceedings of the 9th
International Symposium On Leveraging Applications of Formal
Methods, Verification and Validation (ISoLA'20),
2020.
Plan-Space Explanation via Plan-Property Dependencies: Faster
Algorithms & More Powerful Properties (PDF) R. Eifler,
M. Steinmetz,
A. Torralba, and
J. Hoffmann Proceedings of the
29th International Joint Conference on Artificial Intelligence
(IJCAI'20), 2020.
Deep Statistical Model Checking (PDF) T. Gros,
H. Hermanns,
J. Hoffmann,
M. Klauck, and
M. Steinmetz Proceedings of the 40th
International Conference on Formal Techniques for Distributed Objects,
Components, and Systems (FORTE'20)
2020.
Let's Learn their Language? A Case for Planning with
Automata-Network Languages from Model Checking (PDF) J. Hoffmann,
H. Hermanns,
M. Klauck,
M. Steinmetz,
E. Karpas, and
D. Magazzeni Proceedings
of the 34th AAAI Conference on Artificial Intelligence
(AAAI'20), Senior Member Track, New York City, USA,
2020.
A New Approach to Plan-Space Explanation: Analyzing Plan-Property
Dependencies in Oversubscription Planning (PDF) R. Eifler,
M. Cashmore,
J. Hoffmann,
D. Magazzeni,
and
M. Steinmetz Proceedings of
the 34th AAAI Conference on Artificial Intelligence (AAAI'20),
New York City, USA,
2020.
Bridging the Gap Between Abstractions and Critical-Path Heuristics via Hypergraphs (PDF) (Technical Report) (Source Code) M. Steinmetz and A. Torralba Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS'19), Berkeley, CA, USA, 2019.
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report) (doi)
Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019.
LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning (PDF) (Technical Report) M. Steinmetz and J. Hoffmann Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI'18), Stockholm, Sweden, 2018.
On Stubborn Sets and Planning with Resources (PDF)
A. Wilhelm, M. Steinmetz, and J. Hoffmann Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS'18), Delft, The Netherlands, 2018.
Compiling Probabilistic Model Checking into Probabilistic Planning (PDF) (Technical Report) M. Klauck, M. Steinmetz, J. Hoffmann, and H. Hermanns Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS'18), Delft, The Netherlands, 2018.
Simulated Penetration Testing as Contingent Planning
D. Shmaryahu, G. Shani, J. Hoffmann, and M. Steinmetz Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS'18), Delft, The Netherlands, 2018.
Stackelberg Planning: Towards Effective Leader-Follower State Space Search (PDF) P. Speicher, M. Steinmetz, M. Backes, J. Hoffmann, and R. Kuennemann Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI'18), New Orleans, USA, 2018.
Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning (PDF) M. Steinmetz and J. Hoffmann Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), Melbourne, Australia, 2017.
Critical-Path Dead-End Detection vs. NoGoods: Offline Equivalence and Online Learning (PDF) M. Steinmetz and J. Hoffmann Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS'17), Pittsburgh, PA, USA, 2017.
Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications (PDF) D. Gnad, M. Steinmetz, M. Jany, J. Hoffmann, I. Serina, and A. Gerevini Proceedings of the 9th Annual Symposium on Combinatorial Search (SOCS'16), Tarrytown, NY, USA, 2016.
Revisiting Goal Probability Analysis in Probabilistic Planning (PDF) (Technical Report) M. Steinmetz, J. Hoffmann, and O. Buffet Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS'16), London, UK, 2016.
Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends (PDF) (Technical Report) M. Steinmetz and J. Hoffmann Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI'16), Phoenix, USA, 2016.
Debugging a Policy: A Framework for Automatic Action Policy
Testing M. Steinmetz,
T. Gros,
P. Heim,
D. Höller,
and
J. Hoffmann Proceedings of the Workshop on Bridging the Gap
Between AI Planning and Reinforcement Learning (PRL'21), 2021.
Classical Planning with Avoid Conditions M. Steinmetz,
J. Hoffmann,
A. Kovtunova, and
S. Borgwardt In Proceedings of the 13th Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP’21), 2021.
Constructing Plan Trees for Simulated Penetration Testing G. Shani, J. Hoffmann, D. Shmaryahu, and M. Steinmetz Proceedings of the 10th Workshop on Scheduling and Planning Applications (SPARK'16), at ICAPS'16.
What Does it Take to Render h^+(\Pi^C) Perfect? (PDF)
J. Hoffmann, M. Steinmetz, and P. Haslum Proceedings of the 6th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'14), at ICAPS'14.
Catching Label Subsets for Relaxed Bisimulation: An Abstraction Refinement Approach (PDF)
M. Steinmetz, M. Katz, and J. Hoffmann Proceedings of the 5th Workshop on Heuristic Search for Domain-Independent Planning (HSDIP'13), at ICAPS'13.
Others
Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends (Extended Abstract) (PDF) M. Steinmetz and J. Hoffmann Proceedings of the 39th German Conference on Artificial Intelligence (KI'16), Klagenfurt, Austria, 2016.
Django: Unchaining the Power of Red-Black Planning (PDF) D. Gnad, M. Steinmetz, and J. Hoffmann Proceedings of the 1st Unsolvability International Planning Competition (IPC 2016), at ICAPS'16.
CLone: A Critical-Path Driven Clause Learner (PDF) M. Steinmetz and J. Hoffmann Proceedings of the 1st Unsolvability International Planning Competition (IPC 2016), at ICAPS'16.
