<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2008-07-01 03:47:28Mathematics Dynamic programming Markov decision process Stochastic control Probability Mathematical analysis Reachability |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2008-07-01 03:47:28Mathematics Dynamic programming Markov decision process Stochastic control Probability Mathematical analysis Reachability |
Add to Reading List |
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