Of cores: a partial-exploration framework for Markov decision processes
From MaRDI portal
Publication:5875366
Recommendations
Cites work
- scientific article; zbMATH DE number 3128787 (Why is no real title available?)
- scientific article; zbMATH DE number 700091 (Why is no real title available?)
- scientific article; zbMATH DE number 2087806 (Why is no real title available?)
- scientific article; zbMATH DE number 2090703 (Why is no real title available?)
- scientific article; zbMATH DE number 2090709 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- Continuous-time Markov decisions based on partial exploration
- Dynamic programming and optimal control. Vol. 2
- Of cores: a partial-exploration framework for Markov decision processes
- Performance analysis of probabilistic timed automata using digital clocks
- Reachability in MDPs: refining convergence of value iteration
- Sound value iteration
- The complexity of probabilistic verification
- Value iteration for long-run average reward in Markov decision processes
- Verification of Markov decision processes using learning algorithms
Cited in
(3)
This page was built for publication: Of cores: a partial-exploration framework for Markov decision processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5875366)