Marcel Steinmetz

Available identifiers

zbMath Open steinmetz.marcelMaRDI QIDQ514135

List of research outcomes

Publication	Date of Publication	Type
Deep statistical model checking	2022-10-13	Paper
Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison	2020-06-26	Paper
State space search nogood learning: online refinement of critical-path dead-end detectors in planning	2017-02-28	Paper
Goal probability analysis in MDP probabilistic planning: exploring and enhancing the state of the art	2017-01-11	Paper
Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization	2016-07-05	Paper

Research outcomes over time

This page was built for person: Marcel Steinmetz