First Page | Document Content | |
---|---|---|
Date: 2008-07-01 03:47:28Mathematics Dynamic programming Markov decision process Stochastic control Probability Mathematical analysis Reachability | Symbolic Magnifying Lens Abstraction in Markov Decision Processes Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA 1 Oxford University Computing LaborAdd to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source WebsiteFile Size: 229,32 KBShare Document on Facebook |