![](/img/cover-not-exists.png)
[IEEE 2008 Fifth International Conference on Quantitative Evaluation of Systems - St Malo, France (2008.09.14-2008.09.17)] 2008 Fifth International Conference on Quantitative Evaluation of Systems - Symbolic Magnifying Lens Abstraction in Markov Decision Processes
Roy, Pritam, Parker, David, Norman, Gethin, Alfaro, Luca deYear:
2008
Language:
english
DOI:
10.1109/qest.2008.41
File:
PDF, 282 KB
english, 2008