%0 Conference Paper %1 conf/qest/KwiatkowskaNP06 %A Kwiatkowska, Marta Z. %A Norman, Gethin %A Parker, David %B QEST %D 2006 %I IEEE Computer Society %K dblp %P 157-166 %T Game-based Abstraction for Markov Decision Processes. %U http://dblp.uni-trier.de/db/conf/qest/qest2006.html#KwiatkowskaNP06 %@ 0-7695-2665-9

@inproceedings{conf/qest/KwiatkowskaNP06, added-at = {2023-03-23T00:00:00.000+0100}, author = {Kwiatkowska, Marta Z. and Norman, Gethin and Parker, David}, biburl = {https://www.bibsonomy.org/bibtex/21f03448dab7e14ef335c12ddca1dc1ae/dblp}, booktitle = {QEST}, crossref = {conf/qest/2006}, ee = {https://doi.ieeecomputersociety.org/10.1109/QEST.2006.19}, interhash = {9fe2ad95cc6bebc95b82d3059cb10b1a}, intrahash = {1f03448dab7e14ef335c12ddca1dc1ae}, isbn = {0-7695-2665-9}, keywords = {dblp}, pages = {157-166}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:48:58.000+0200}, title = {Game-based Abstraction for Markov Decision Processes.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2006.html#KwiatkowskaNP06}, year = 2006 }