Pages that link to "Item:Q5754674"

The following pages link to An analysis of transient Markov decision processes (Q5754674):

Displaying 2 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)