@inproceedings(AzizSB95,
 author       = "A. Aziz and V. Singhal and F. Balarin",
 year         = "1995",
 title        = "It Usually Works: The Temporal Logic of Stochastic Systems",
 booktitle    = "Proc. of CAV: Computer Aided Verification",
 series       = "LNCS 939",
 publisher    = "Springer",
 pages        = "155--165",
 url          = "http://dx.doi.org/10.1007/3-540-60045-0_48",
)
@inproceedings(BeauquierRS02,
 author       = "D. Beauquier and A. M. Rabinovich and A. Slissenko",
 year         = "2002",
 title        = "A Logic of Probability with Decidable Model-Checking",
 booktitle    = "Proc. of CSL: Computer Science Logic",
 series       = "LNCS 2471",
 publisher    = "Springer",
 pages        = "371--402",
 url          = "http://dx.doi.org/10.1007/3-540-45793-3_21",
)
@article(Ben03,
 author       = "Y. Benenson and R. Adar and T. Paz-Elizur and Z. Livneh and e. Shapiro",
 year         = "2003",
 title        = "{DNA} molecule provides a computing machine with both data and fuel",
 journal      = "Proc. National Acad. Sci. USA",
 volume       = "100",
 pages        = "2191--2196",
 url          = "http://dx.doi.org/10.1073/pnas.0535624100",
)
@inproceedings(BiancoA95,
 author       = "A. Bianco and L. {de Alfaro}",
 year         = "1995",
 title        = "Model Checking of Probabilistic and Nondeterministic Systems",
 booktitle    = "Proc. of FSTTCS: Foundations of Software Technology and Theoretical Computer Science",
 series       = "LNCS 1026",
 publisher    = "Springer-Verlag",
 pages        = "499--513",
 url          = "http://dx.doi.org/10.1007/3-540-60692-0_70",
)
@book(FV97,
 author       = "J. Filar and K. Vrieze",
 year         = "1997",
 title        = "Competitive {Markov} Decision Processes",
 publisher    = "Springer-Verlag",
 url          = "http://www.springer.com/engineering/mathematical/book/978-0-387-94805-8",
)
@inproceedings(KVKA10,
 author       = "V. A. Korthikanti and M. Viswanathan and Y. Kwon and G. Agha",
 year         = "2009",
 title        = "Reasoning about MDPs as transformers of probability distributions",
 booktitle    = "Proc. of QEST: Quantitative Evaluation of Systems",
 publisher    = "IEEE Computer Society",
 pages        = "199--208",
 url          = "http://dx.doi.org/10.1109/QEST.2010.35",
)
@phdthesis(SegalaT,
 author       = "R. Segala",
 year         = "1995",
 title        = "Modeling and Verification of Randomized Distributed Real-Time Systems",
 school       = "MIT",
 url          = "http://profs.sci.univr.it/~segala/www/phd.html",
 note         = "Technical Report MIT/LCS/TR-676",
)
@inproceedings(Volkov08,
 author       = "M. V. Volkov",
 year         = "2008",
 title        = "Synchronizing Automata and the Cerny Conjecture",
 booktitle    = "Proc. of LATA: Language and Automata Theory and Applications",
 series       = "LNCS 5196",
 publisher    = "Springer",
 pages        = "11--27",
 url          = "http://dx.doi.org/10.1007/978-3-540-88282-4_4",
)