The following pages link to (Q5129946):
Displaying 6 items.
- Value iteration for simple stochastic games: stopping criterion and learning algorithm (Q2672267) (← links)
- (Q5021007) (← links)
- Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs (Q6487312) (← links)
- Abstraction-Refinement for Hierarchical Probabilistic Models (Q6487314) (← links)
- Correct approximation of stationary distributions (Q6535371) (← links)
- Robust almost-sure reachability in multi-environment MDPs (Q6535373) (← links)