@unknown(deAlfaro97,
 author       = "L. de Alfaro",
 year         = "1997",
 title        = "Formal Verification of Probabilistic Systems",
 type         = "Ph.D. thesis",
 school       = "Stanford University",
)
@unknown(dA98,
 author       = "Luca de Alfaro",
 year         = "1998",
 title        = "Stochastic Transition Systems",
 editor       = "Davide Sangiorgi and Robert de Simone",
 booktitle    = "CONCUR",
 series       = "Lecture Notes in Computer Science",
 volume       = "1466",
 publisher    = "Springer",
 pages        = "423--438",
 url          = "http://link.springer.de/link/service/series/0558/bibs/1466/14660423.htm",
)
@unknown(DiscountingTheFuture,
 author       = "Luca de Alfaro and Thomas A. Henzinger and Rupak Majumdar",
 year         = "2003",
 title        = "Discounting the Future in Systems Theory",
 editor       = "Jos C. M. Baeten and Jan Karel Lenstra and Joachim Parrow and Gerhard J. Woeginger",
 booktitle    = "ICALP",
 series       = "Lecture Notes in Computer Science",
 volume       = "2719",
 publisher    = "Springer",
 pages        = "1022--1037",
 url          = "http://link.springer.de/link/service/series/0558/bibs/2719/27191022.htm",
)
@unknown(dAMRS07,
 author       = "Luca de Alfaro and Rupak Majumdar and Vishwanath Raman and Mari{\"e}lle Stoelinga",
 year         = "2007",
 title        = "Game Relations and Metrics",
 booktitle    = "LICS",
 publisher    = "IEEE Computer Society",
 pages        = "99--108",
 url          = "http://doi.ieeecomputersociety.org/10.1109/LICS.2007.22",
)
@unknown(Alur09,
 author       = "Rajeev Alur and Aldric Degorre and Oded Maler and Gera Weiss",
 year         = "2009",
 title        = "On Omega-Languages Defined by Mean-Payoff Conditions",
 editor       = "Luca de Alfaro",
 booktitle    = "FOSSACS",
 series       = "Lecture Notes in Computer Science",
 volume       = "5504",
 publisher    = "Springer",
 pages        = "333--347",
 url          = "http://dx.doi.org/10.1007/978-3-642-00596-1_24",
)
@unknown(Baier,
 author       = "C. Baier and M. Gr{\"o}{\ss }er and M. Leucker and B. Bollig and F. Ciesinski",
 year         = "2004",
 title        = "Controller Synthesis for Probabilistic Systems",
 booktitle    = "IFIP TCS",
 pages        = "493--506",
)
@unknown(cacm,
 author       = "Christel Baier and Boudewijn R. Haverkort and Holger Hermanns and Joost-Pieter Katoen",
 year         = "2010",
 title        = "Performance evaluation and model checking join forces",
 journal      = "Commun. ACM",
 volume       = "53",
 number       = "9",
 pages        = "76--85",
 url          = "http://doi.acm.org/10.1145/1810891.1810912",
)
@unknown(uppaal,
 author       = "G. Behrmann and J. Bengtsson and A. David and K. G. Larsen and P. Pettersson and W. Yi.",
 year         = "2002",
 title        = "{\sc Uppaal} Implementation Secrets",
 booktitle    = "Formal Techniques in Real-Time and Fault Tolerant Systems",
)
@unknown(BdA95,
 author       = "Andrea Bianco and Luca de Alfaro",
 year         = "1995",
 title        = "Model Checking of Probabalistic and Nondeterministic Systems",
 editor       = "P. S. Thiagarajan",
 booktitle    = "FSTTCS",
 series       = "Lecture Notes in Computer Science",
 volume       = "1026",
 publisher    = "Springer",
 pages        = "499--513",
 url          = "http://dx.doi.org/10.1007/3-540-60692-0_70",
)
@unknown(BloemCHJ09,
 author       = "Roderick Bloem and Krishnendu Chatterjee and Thomas A. Henzinger and Barbara Jobstmann",
 year         = "2009",
 title        = "Better Quality in Synthesis through Quantitative Objectives",
 editor       = "Ahmed Bouajjani and Oded Maler",
 booktitle    = "CAV",
 series       = "Lecture Notes in Computer Science",
 volume       = "5643",
 publisher    = "Springer",
 pages        = "140--156",
 url          = "http://dx.doi.org/10.1007/978-3-642-02658-4_14",
)
@unknown(BloemGHJ09,
 author       = "Roderick Bloem and Karin Greimel and Thomas A. Henzinger and Barbara Jobstmann",
 year         = "2009",
 title        = "Synthesizing robust systems",
 booktitle    = "FMCAD",
 publisher    = "IEEE",
 pages        = "85--92",
 url          = "http://dx.doi.org/10.1109/FMCAD.2009.5351139",
)
@unknown(CCHKM05,
 author       = "Arindam Chakrabarti and Krishnendu Chatterjee and Thomas A. Henzinger and Orna Kupferman and Rupak Majumdar",
 year         = "2005",
 title        = "Verifying Quantitative Properties Using Bound Functions",
 editor       = "Dominique Borrione and Wolfgang J. Paul",
 booktitle    = "CHARME",
 series       = "Lecture Notes in Computer Science",
 volume       = "3725",
 publisher    = "Springer",
 pages        = "50--64",
 url          = "http://dx.doi.org/10.1007/11560548_7",
)
@unknown(CAFHMS06,
 author       = "Krishnendu Chatterjee and Luca de Alfaro and Marco Faella and Thomas A. Henzinger and Rupak Majumdar and Mari{\"e}lle Stoelinga",
 year         = "2006",
 title        = "Compositional Quantitative Reasoning",
 booktitle    = "QEST",
 publisher    = "IEEE Computer Society",
 pages        = "179--188",
 url          = "http://doi.ieeecomputersociety.org/10.1109/QEST.2006.11",
)
@unknown(CDH08,
 author       = "Krishnendu Chatterjee and Laurent Doyen and Thomas A. Henzinger",
 year         = "2008",
 title        = "Quantitative Languages",
 editor       = "Michael Kaminski and Simone Martini",
 booktitle    = "CSL",
 series       = "Lecture Notes in Computer Science",
 volume       = "5213",
 publisher    = "Springer",
 pages        = "385--400",
 url          = "http://dx.doi.org/10.1007/978-3-540-87531-4_28",
)
@unknown(ChatterjeeHJS10,
 author       = "Krishnendu Chatterjee and Thomas A. Henzinger and Barbara Jobstmann and Rohit Singh",
 year         = "2010",
 title        = "Measuring and Synthesizing Systems in Probabilistic Environments",
 editor       = "Tayssir Touili and Byron Cook and Paul Jackson",
 booktitle    = "CAV",
 series       = "Lecture Notes in Computer Science",
 volume       = "6174",
 publisher    = "Springer",
 pages        = "380--395",
 url          = "http://dx.doi.org/10.1007/978-3-642-14295-6_34",
)
@unknown(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",
)
@unknown(Cuning79,
 author       = "R. A. Cuninghame-Green",
 year         = "1979",
 title        = "Minimax algebra",
 booktitle    = "Lecture Notes in Economics and Mathematical Systems",
 volume       = "166",
 publisher    = "Springer-Verlag",
)
@unknown(derman62,
 author       = "C. Derman",
 year         = "1962",
 title        = "On Sequential Decisions and Markov Chains",
 journal      = "Management Science",
 volume       = "9",
 number       = "1",
 pages        = "16--24",
)
@unknown(DGJP99,
 author       = "Josee Desharnais and Vineet Gupta and Radha Jagadeesan and Prakash Panangaden",
 year         = "2004",
 title        = "Metrics for labelled Markov processes",
 journal      = "Theor. Comput. Sci.",
 volume       = "318",
 number       = "3",
 pages        = "323--354",
 url          = "http://dx.doi.org/10.1016/j.tcs.2003.09.013",
)
@unknown(DrosteGastin07,
 author       = "M. Droste and P. Gastin",
 year         = "2007",
 title        = "Weighted automata and weighted logics",
 journal      = "Theoretical Computer Science",
 volume       = "380",
 pages        = "69--86",
 url          = "http://dx.doi.org/10.1016/j.tcs.2007.02.055",
)
@unknown(Droste09,
 author       = "M. Droste and W. Kuich and H. Vogler",
 year         = "2009",
 title        = "Handbook of Weighted Automata",
 publisher    = "Springer Publishing Company, Incorporated",
)
@unknown(DrosteKR08,
 author       = "Manfred Droste and Werner Kuich and George Rahonis",
 year         = "2008",
 title        = "Multi-Valued MSO Logics OverWords and Trees",
 journal      = "Fundam. Inform.",
 volume       = "84",
 number       = "3-4",
 pages        = "305--327",
 url          = "http://iospress.metapress.com/content/j9652453g663425m/",
)
@unknown(FV96,
 author       = "J. Filar and K. Vrieze",
 year         = "1996",
 title        = "Competitive {Markov} Decision Processes",
 publisher    = "Springer-Verlag",
)
@unknown(Gaubert97,
 author       = "Stephane Gaubert and Max Plus",
 year         = "1997",
 title        = "Methods and Applications of (MAX, +) Linear Algebra",
 editor       = "R{\"u}diger Reischuk and Michel Morvan",
 booktitle    = "STACS",
 series       = "Lecture Notes in Computer Science",
 volume       = "1200",
 publisher    = "Springer",
 pages        = "261--282",
 url          = "http://dx.doi.org/10.1007/BFb0023465",
)
@unknown(gimbert,
 author       = "Hugo Gimbert",
 year         = "2007",
 title        = "Pure Stationary Optimal Strategies in Markov Decision Processes",
 editor       = "Wolfgang Thomas and Pascal Weil",
 booktitle    = "STACS",
 series       = "Lecture Notes in Computer Science",
 volume       = "4393",
 publisher    = "Springer",
 pages        = "200--211",
 url          = "http://dx.doi.org/10.1007/978-3-540-70918-3_18",
)
@unknown(prism,
 author       = "A. Hinton and M. Kwiatkowska and G. Norman and D. Parker",
 year         = "2006",
 title        = "{PRISM}: A Tool for Automatic Verification of Probabilistic Systems",
 booktitle    = "TACAS",
)
@unknown(IsbellMarlow,
 author       = "J. R. Isbell and W. H. Marlow",
 year         = "1956",
 title        = "Attrition games",
 journal      = "Naval Research Logistics Quarterly",
 volume       = "3",
 pages        = "71--94",
)
@unknown(KL07,
 author       = "Orna Kupferman and Yoad Lustig",
 year         = "2007",
 title        = "Lattice Automata",
 editor       = "Byron Cook and Andreas Podelski",
 booktitle    = "VMCAI",
 series       = "Lecture Notes in Computer Science",
 volume       = "4349",
 publisher    = "Springer",
 pages        = "199--213",
 url          = "http://dx.doi.org/10.1007/978-3-540-69738-1_14",
)
@unknown(MarkovChains,
 author       = "J.R. Norris",
 year         = "2003",
 title        = "Markov Chains",
 publisher    = "Cambridge University Press",
)
@unknown(puterman,
 author       = "M. L. Puterman",
 year         = "1994",
 title        = "Markov Decision Processes: Discrete Stochastic Dynamic Programming",
 publisher    = "Wiley-Interscience",
)
@unknown(AFirstCourseInStochasticModels,
 author       = "H. C. Tijms",
 year         = "2003",
 title        = "A First Course in Stochastic Models",
 publisher    = "Chichester: Wiley",
)
@unknown(wimmer10,
 author       = "Ralf Wimmer and Bettina Braitling and Bernd Becker and Ernst Moritz Hahn and Pepijn Crouzen and Holger Hermanns and Catuscia Dhama and Oliver E. Theel",
 year         = "2010",
 title        = "Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems",
 booktitle    = "QEST",
 publisher    = "IEEE Computer Society",
 pages        = "27--36",
 url          = "http://dx.doi.org/10.1109/QEST.2010.12",
)
@unknown(Zwick96,
 author       = "Uri Zwick and Mike Paterson",
 year         = "1996",
 title        = "The Complexity of Mean Payoff Games on Graphs",
 journal      = "Theor. Comput. Sci.",
 volume       = "158",
 number       = "1{\&}2",
 pages        = "343--359",
 url          = "http://dx.doi.org/10.1016/0304-3975(95)00188-3",
)