@book(BaierKatoenBook,
 author       = "Christel Baier and Joost Pieter Katoen",
 year         = "2008",
 title        = "Principles of {M}odel {C}hecking",
 publisher    = "The {MIT} Press",
)
@inproceedings(BA1995,
 author       = "Andrea Bianco and Luca de Alfaro",
 year         = "1995",
 title        = "Model Checking of Probabilistic and Nondeterministic Systems",
 booktitle    = "Foundations of Software Technology and Theoretical Computer Science",
 series       = "Lecture Notes in Computer Science",
 volume       = "1026",
 publisher    = "Springer-Verlag",
 pages        = "499--513",
 doi          = "10.1007/3-540-60692-0\_70",
)
@article(BSS1989,
 author       = "Lenore Blum and Mike Shub and Steve Smale",
 year         = "1989",
 title        = "On a Theory of Computation and Complexity over the Real Numbers: {NP}-completeness, Recursive Functions and Universal Machines",
 journal      = "Bulletin of the {AMS}",
 volume       = "21",
 number       = "1",
 doi          = "10.1109/SFCS.1988.21955",
)
@inproceedings(CPN99,
 author       = "Rance Cleaveland and S. Purushothaman Iyer and Muralidhar Narasimha",
 year         = "1999",
 title        = "Probabilistic Temporal Logics via the Modal mu-Calculus",
 booktitle    = "Foundations of Software Science and Computation Structures",
 doi          = "10.1007/3-540-49019-1\_20",
)
@article(AM04,
 author       = "Luca {de Alfaro} and Rupak Majumdar",
 year         = "2004",
 title        = "Quantitative Solution of omega-Regular Games",
 journal      = "Journal of Computer and System Sciences, Volume 68, Issue 2",
 pages        = "374 -- 397",
 doi          = "10.1016/j.jcss.2003.07.009",
)
@inproceedings(DKLLPSW,
 author       = "Benoit Delahaye and Joost Pieter Katoen and Kim Larsen and Axel Legay and Mikkel Pedersen and Falak Sher and Andrzej Wasowski",
 year         = "2011",
 title        = "Abstract Probabilistic Automata",
 booktitle    = "Proc. of 12th VMCAI",
 doi          = "10.1007/978-3-642-18275-4\_23",
)
@inproceedings(DvG2010,
 author       = "Yuxin Deng and Rob van Glabbeek",
 year         = "2010",
 title        = "Characterising Probabilistic Processes Logically",
 booktitle    = "Logic for programming, artificial intelligence and reasoning",
 series       = "Lecture Notes in Computer Science",
 volume       = "6397",
 doi          = "10.1007/978-3-642-16242-8\_20",
)
@article(Ferrante1975,
 author       = "Jeanne Ferrante and Charles Rackoff",
 year         = "1975",
 title        = "A Decision Procedure for the First Order Theory of Real Addition with Order",
 journal      = "{SIAM} Journal of Computing",
 volume       = "4",
 number       = "1",
 pages        = "69--76",
 doi          = "10.1137/0204006",
)
@inproceedings(FKNPQ2011,
 author       = "Vojt\v {e}ch Forejt and Marta Kwiatkowska and Gethin Norman and David Parker and Hongyang Qu",
 year         = "2011",
 title        = "Quantitative multi-Objective Verification for Probabilistic Systems",
 booktitle    = "Proc. of 14th TACAS",
 doi          = "10.1007/978-3-642-19835-9\_11",
)
@article(GS2011,
 author       = "Thomas Martin Galwitza and Helmut Seidl",
 year         = "2011",
 title        = "Solving Systems of Rational Equations through Strategy Iteration",
 journal      = "{ACM} Trabnsactions on Programming Languages and Systems",
 volume       = "33",
 number       = "3",
 doi          = "10.1145/1961204.1961207",
)
@book(HJ98,
 author       = "Petr H\'{a}jek",
 year         = "2001",
 title        = "Metamathematics of Fuzzy Logic",
 publisher    = "Springer",
)
@inproceedings(HM96,
 author       = "Michael Huth and Marta Kwiatkowska",
 year         = "1997",
 title        = "Quantitative Analysis and Model Checking",
 booktitle    = "Proceeding of the 12th Annual IEEE Symposium on Logic in Computer Science",
)
@article(pautomata2012,
 author       = "Michael Huth and Nir Piterman and Daniel Wagner",
 year         = "2012",
 title        = "p-{A}utomata: {N}ew Foundations for discrete-time Probabilistic Verification",
 journal      = "Perform. Eval.",
 volume       = "69",
 number       = "7-8",
 doi          = "10.1016/j.peva.2012.05.005",
)
@article(JW96,
 author       = "David Janin and Igor Walukiewicz",
 year         = "1996",
 title        = "On the Expressive Completeness of the Propositional mu-Calculus with Respect to Monadic Second Order Logic",
 journal      = "Lecture Notes in Computer Science",
 volume       = "1119",
 pages        = "263--277",
 doi          = "10.1007/3-540-61604-7\_60",
)
@inproceedings(Kozen83,
 author       = "D. Kozen",
 year         = "1983",
 title        = "Results on the Propositional mu-Calculus",
 booktitle    = "Theoretical Computer Science",
 pages        = "333--354",
 doi          = "10.1016/0304-3975(82)90125-6",
)
@inproceedings(KNPQ2010,
 author       = "Marta Kwiatkowska and Gethin Norman and David Parker and Hongyang Qu",
 year         = "2010",
 title        = "Assume-Guarantee Verification for Probabilistic Systems",
 booktitle    = "Proceedings of 16th TACAS",
 doi          = "10.1007/978-3-642-12002-2\_3",
)
@inproceedings(Mader1995,
 author       = "Angelika Mader",
 year         = "1995",
 title        = "Modal $\mu $-Calculus, Model Checking and Gau{\ss } Elimination",
 booktitle    = "Tools and Algorithms for the Construction and Analysis of Systems (TACAS)",
 series       = "LNCS",
 volume       = "1019",
 pages        = "72--88",
 doi          = "10.1007/3-540-60630-0\_4",
)
@article(MM07,
 author       = "Annabelle McIver and Carroll Morgan",
 year         = "2007",
 title        = "Results on the Quantitative {$\mu $}-Calculus q{M}{$\mu $}",
 journal      = "ACM Transactions on Computational Logic",
 volume       = "8",
 number       = "1",
 doi          = "10.1145/1182613.1182616",
)
@phdthesis(MioThesis,
 author       = "Matteo Mio",
 year         = "2012",
 title        = "Game Semantics for Probabilistic {$\mu $}-Calculi",
 school       = "School of Informatics, University of Edinburgh",
 note         = "Permanent URL: {\url {http://hdl.handle.net/1842/6223}}",
)
@article(MIO2012a,
 author       = "Matteo Mio",
 year         = "2012",
 title        = "On The Equivalence of Denotational and Game Semantics for the Probabilistic {$\mu $}-Calculus",
 journal      = "Logical Methods in Computer Science",
 volume       = "8",
 number       = "2",
 doi          = "10.2168/LMCS-8(2:7)2012",
)
@article(MIO2012b,
 author       = "Matteo Mio",
 year         = "2012",
 title        = "{P}robabilistic {M}odal {$\mu $}-{C}alculus with {I}ndependent Product",
 journal      = "Logical Methods in Computer Science",
 volume       = "8",
 number       = "4",
 doi          = "10.2168/LMCS-8(4:18)2012",
)
@inproceedings(MM97,
 author       = "Carroll Morgan and Annabelle McIver",
 year         = "1997",
 title        = "A Probabilistic Temporal Calculus Based on Expectations",
 booktitle    = "In Lindsay Groves and Steve Reeves, editors, Proc. Formal Methods",
 publisher    = "Springer Verlag",
)
@phdthesis(S95,
 author       = "Roberto Segala",
 year         = "1995",
 title        = "Modeling and Verification of Randomized Distributed Real-Time Systems",
 school       = "Laboratory for Computer Science, M.I.T.",
)
@book(Stirling96,
 author       = "Colin Stirling",
 year         = "2001",
 title        = "Modal and Temporal Logics for Processes",
 publisher    = "Springer",
 doi          = "10.1007/3-540-60915-6\_5",
)