The following pages link to Marcel Steinmetz (Q514135):
Displaying 5 items.
- State space search nogood learning: online refinement of critical-path dead-end detectors in planning (Q514137) (← links)
- Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the Art (Q2953929) (← links)
- Deep Statistical Model Checking (Q5041276) (← links)
- Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison (Q5114783) (← links)
- Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization (Q5739833) (← links)
