%0 Conference Paper %1 conf/cav/PuggelliLSS13 %A Puggelli, Alberto %A Li, Wenchao %A Sangiovanni-Vincentelli, Alberto L. %A Seshia, Sanjit A. %B CAV %D 2013 %E Sharygina, Natasha %E Veith, Helmut %I Springer %K %P 527-542 %T Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties. %U http://dblp.uni-trier.de/db/conf/cav/cav2013.html#PuggelliLSS13 %V 8044 %@ 978-3-642-39798-1

@inproceedings{conf/cav/PuggelliLSS13, added-at = {2023-12-12T18:24:07.000+0100}, author = {Puggelli, Alberto and Li, Wenchao and Sangiovanni-Vincentelli, Alberto L. and Seshia, Sanjit A.}, biburl = {https://www.bibsonomy.org/bibtex/2dbbd7df2cd841796d1847373f7c3ccad/admin}, booktitle = {CAV}, crossref = {conf/cav/2013}, editor = {Sharygina, Natasha and Veith, Helmut}, ee = {https://www.wikidata.org/entity/Q57380212}, interhash = {11c32fc614ff4eb4170184c15a1a76eb}, intrahash = {dbbd7df2cd841796d1847373f7c3ccad}, isbn = {978-3-642-39798-1}, keywords = {}, pages = {527-542}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T18:24:07.000+0100}, title = {Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2013.html#PuggelliLSS13}, volume = 8044, year = 2013 }