Pages that link to "Item:Q5754674"
From MaRDI portal
The following pages link to An analysis of transient Markov decision processes (Q5754674):
Displaying 5 items.
- Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata (Q517046) (← links)
- Optimal search from multiple distributions with infinite horizon (Q1787340) (← links)
- Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata (Q2945592) (← links)
- Robust shortest path planning and semicontractive dynamic programming (Q3120605) (← links)
- Stability Estimation of Transient Markov Decision Processes (Q5038267) (← links)