Marcel Steinmetz

53 papers A* 27A 5B 2C 2Misc 1Journal 10Unranked 5

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