@techreport(STAN//CS-TR-98-1601,
 author       = "Luca de Alfaro",
 year         = "1998",
 title        = "Formal Verification of Probabilistic Systems",
 type         = "Thesis",
 number       = "CS-TR-98-1601",
 institution  = "Stanford University, Department of Computer Science",
)
@misc(glpk,
 author       = "Copyright by Andrew Makhorin",
 title        = "\texttt {glpk}",
 howpublished = "\url {http://www.gnu.org/s/glpk/}",
)
@article(DBLP:journals/jal/AspnesH90,
 author       = "James Aspnes and Maurice Herlihy",
 year         = "1990",
 title        = "Fast Randomized Consensus Using Shared Memory",
 journal      = "J. Algorithms",
 volume       = "11",
 number       = "3",
 pages        = "441--461",
 url          = "http://dx.doi.org/10.1016/0196-6774(90)90021-6",
)
@inproceedings(DBLP:conf/fsttcs/BiancoA95,
 author       = "Andrea Bianco and Luca de Alfaro",
 year         = "1995",
 title        = "Model Checking of Probabalistic and Nondeterministic Systems",
 booktitle    = "FSTTCS 1995",
 pages        = "499--513",
 url          = "http://dx.doi.org/10.1007/3-540-60692-0_70",
)
@book(book:applied-mathematical-programming,
 author       = "Stephen P. Bradley and Arnoldo C. Hax and Thomas L. Magnanti",
 year         = "1977",
 title        = "Applied Mathematical Programming",
 publisher    = "Addison-Wesley",
)
@inproceedings(DBLP:conf/icalp/CourcoubetisY90,
 author       = "Costas Courcoubetis and Mihalis Yannakakis",
 year         = "1990",
 title        = "Markov Decision Processes and Regular Events (Extended Abstract)",
 editor       = "Mike Paterson",
 booktitle    = "ICALP",
 series       = "Lecture Notes in Computer Science",
 volume       = "443",
 publisher    = "Springer",
 pages        = "336--349",
 url          = "http://dx.doi.org/10.1007/BFb0032043",
)
@article(depen-1963:probaprodu:journal:98,
 author       = "F. {D'E}penoux",
 year         = "1963",
 title        = "A probabilistic production and inventory problem",
 journal      = "Management Science",
 volume       = "10",
 pages        = "98--108",
)
@inproceedings(DBLP:conf/icalp/Fearnley10,
 author       = "John Fearnley",
 year         = "2010",
 title        = "Exponential Lower Bounds for Policy Iteration",
 booktitle    = "ICALP 2010 (2)",
 pages        = "551--562",
 url          = "http://dx.doi.org/10.1007/978-3-642-14162-1_46",
)
@inproceedings(DBLP:conf/sfm/ForejtKNP11,
 author       = "Vojtech Forejt and Marta Z. Kwiatkowska and Gethin Norman and David Parker",
 year         = "2011",
 title        = "Automated Verification Techniques for Probabilistic Systems",
 booktitle    = "SFM",
 pages        = "53--113",
 url          = "http://dx.doi.org/10.1007/978-3-642-21455-4",
)
@inproceedings(KNP11,
 author       = "M. Kwiatkowska and G. Norman and D. Parker",
 year         = "2011",
 title        = "{PRISM} 4.0: Verification of Probabilistic Real-time Systems",
 editor       = "G. Gopalakrishnan and S. Qadeer",
 booktitle    = "CAV 2011",
 series       = "LNCS",
 volume       = "6806",
 publisher    = "Springer",
 pages        = "585--591",
 url          = "http://dx.doi.org/10.1007/978-3-642-22110-1_47",
)
@book(puterman,
 author       = "Martin L. Puterman",
 year         = "1994",
 title        = "Markov Decision Processes: Discrete Stochastic Dynamic Programming",
 edition      = "1st",
 publisher    = "John Wiley \& Sons, Inc.",
 address      = "New York, NY, USA",
)
@inproceedings(SV99,
 author       = "M. Stoelinga and F. Vaandrager",
 year         = "1999",
 title        = "Root Contention in {IEEE} 1394",
 editor       = "J.-P. Katoen",
 booktitle    = "Proc. 5th International AMAST Workshop on Real-Time and Probabilistic Systems (ARTS'99)",
 series       = "LNCS",
 volume       = "1601",
 publisher    = "Springer",
 pages        = "53--74",
 url          = "http://dx.doi.org/10.1007/3-540-48778-6_4",
)
@article(simplex-strongly-polynomial,
 author       = "Yinyu Ye",
 year         = "2011",
 title        = "The Simplex and Policy-Iteration Methods Are Strongly Polynomial for the Markov Decision Problem with a Fixed Discount Rate",
 journal      = "Mathematics of Operations Research",
 volume       = "36",
 number       = "4",
 pages        = "593--603",
 url          = "http://dx.doi.org/10.1287/moor.1110.0516",
)
@misc(prism-cases,
 howpublished = "\url {http://www.prismmodelchecker.org/benchmarks/}",
)