Back to Results
First PageMeta Content
Mathematics / 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 Labor
Add to Reading List

Document Date: 2008-07-01 03:47:28


Open Document

File Size: 229,32 KB

Share Result on Facebook