![Markov models / Probability / Dynamic programming / Markov processes / Stochastic control / Markov decision process / Markov chain / Linear temporal logic / S2 / Reinforcement learning / S0 Markov models / Probability / Dynamic programming / Markov processes / Stochastic control / Markov decision process / Markov chain / Linear temporal logic / S2 / Reinforcement learning / S0](https://www.pdfsearch.io/img/3c964b828a923a72677c2faab5b5fed8.jpg) Date: 2013-10-06 19:34:00Markov models Probability Dynamic programming Markov processes Stochastic control Markov decision process Markov chain Linear temporal logic S2 Reinforcement learning S0 | | Automated Verification Techniques for Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UKAdd to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 912,93 KBShare Document on Facebook
|