Steinmetz, Marcel

13 publications

AAAI 2022 Classical Planning with Avoid Conditions Marcel Steinmetz, Jörg Hoffmann, Alisa Kovtunova, Stefan Borgwardt

AAAI 2022 Expressivity of Planning with Horn Description Logic Ontologies Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz

AAAI 2021 Faster Stackelberg Planning via Symbolic Search and Information Sharing Álvaro Torralba, Patrick Speicher, Robert Künnemann, Marcel Steinmetz, Jörg Hoffmann

AAAI 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

JAIR 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

AAAI 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

IJCAI 2020 Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties Rebecca Eifler, Marcel Steinmetz, Álvaro Torralba, Jörg Hoffmann

IJCAI 2018 LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning Marcel Steinmetz, Jörg Hoffmann

AAAI 2018 Stackelberg Planning: Towards Effective Leader-Follower State Space Search Patrick Speicher, Marcel Steinmetz, Michael Backes, Jörg Hoffmann, Robert Künnemann

IJCAI 2017 Search and Learn: On Dead-End Detectors, the Traps They Set, and Trap Learning Marcel Steinmetz, Jörg Hoffmann

JAIR 2016 Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization Maximilian Fickert, Jörg Hoffmann, Marcel Steinmetz

JAIR 2016 Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the Art Marcel Steinmetz, Jörg Hoffmann, Olivier Buffet

AAAI 2016 Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends Marcel Steinmetz, Jörg Hoffmann