References

  1. Christel Baier & Joost Pieter Katoen (2008): Principles of Model Checking. The MIT Press.
  2. Andrea Bianco & Luca de Alfaro (1995): Model Checking of Probabilistic and Nondeterministic Systems. In: Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science 1026. Springer-Verlag, pp. 499–513, doi:10.1007/3-540-60692-0_70.
  3. Lenore Blum, Mike Shub & Steve Smale (1989): On a Theory of Computation and Complexity over the Real Numbers: NP-completeness, Recursive Functions and Universal Machines. Bulletin of the AMS 21(1), doi:10.1109/SFCS.1988.21955.
  4. Rance Cleaveland, S. Purushothaman Iyer & Muralidhar Narasimha (1999): Probabilistic Temporal Logics via the Modal mu-Calculus. In: Foundations of Software Science and Computation Structures, doi:10.1007/3-540-49019-1_20.
  5. Luca de Alfaro & Rupak Majumdar (2004): Quantitative Solution of omega-Regular Games. Journal of Computer and System Sciences, Volume 68, Issue 2, pp. 374 – 397, doi:10.1016/j.jcss.2003.07.009.
  6. Benoit Delahaye, Joost Pieter Katoen, Kim Larsen, Axel Legay, Mikkel Pedersen, Falak Sher & Andrzej Wasowski (2011): Abstract Probabilistic Automata. In: Proc. of 12th VMCAI, doi:10.1007/978-3-642-18275-4_23.
  7. Yuxin Deng & Rob van Glabbeek (2010): Characterising Probabilistic Processes Logically. In: Logic for programming, artificial intelligence and reasoning, Lecture Notes in Computer Science 6397, doi:10.1007/978-3-642-16242-8_20.
  8. Jeanne Ferrante & Charles Rackoff (1975): A Decision Procedure for the First Order Theory of Real Addition with Order. SIAM Journal of Computing 4(1), pp. 69–76, doi:10.1137/0204006.
  9. Vojtěch Forejt, Marta Kwiatkowska, Gethin Norman, David Parker & Hongyang Qu (2011): Quantitative multi-Objective Verification for Probabilistic Systems. In: Proc. of 14th TACAS, doi:10.1007/978-3-642-19835-9_11.
  10. Thomas Martin Galwitza & Helmut Seidl (2011): Solving Systems of Rational Equations through Strategy Iteration. ACM Trabnsactions on Programming Languages and Systems 33(3), doi:10.1145/1961204.1961207.
  11. Petr Hájek (2001): Metamathematics of Fuzzy Logic. Springer.
  12. Michael Huth & Marta Kwiatkowska (1997): Quantitative Analysis and Model Checking. In: Proceeding of the 12th Annual IEEE Symposium on Logic in Computer Science.
  13. Michael Huth, Nir Piterman & Daniel Wagner (2012): p-Automata: New Foundations for discrete-time Probabilistic Verification. Perform. Eval. 69(7-8), doi:10.1016/j.peva.2012.05.005.
  14. David Janin & Igor Walukiewicz (1996): On the Expressive Completeness of the Propositional mu-Calculus with Respect to Monadic Second Order Logic. Lecture Notes in Computer Science 1119, pp. 263–277, doi:10.1007/3-540-61604-7_60.
  15. D. Kozen (1983): Results on the Propositional mu-Calculus. In: Theoretical Computer Science, pp. 333–354, doi:10.1016/0304-3975(82)90125-6.
  16. Marta Kwiatkowska, Gethin Norman, David Parker & Hongyang Qu (2010): Assume-Guarantee Verification for Probabilistic Systems. In: Proceedings of 16th TACAS, doi:10.1007/978-3-642-12002-2_3.
  17. Angelika Mader (1995): Modal μ-Calculus, Model Checking and GaußElimination. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS 1019, pp. 72–88, doi:10.1007/3-540-60630-0_4.
  18. Annabelle McIver & Carroll Morgan (2007): Results on the Quantitative μ-Calculus qMμ. ACM Transactions on Computational Logic 8(1), doi:10.1145/1182613.1182616.
  19. Matteo Mio (2012): Game Semantics for Probabilistic μ-Calculi. School of Informatics, University of Edinburgh. Permanent URL: http://hdl.handle.net/1842/6223.
  20. Matteo Mio (2012): On The Equivalence of Denotational and Game Semantics for the Probabilistic μ-Calculus. Logical Methods in Computer Science 8(2), doi:10.2168/LMCS-8(2:7)2012.
  21. Matteo Mio (2012): Probabilistic Modal μ-Calculus with Independent Product. Logical Methods in Computer Science 8(4), doi:10.2168/LMCS-8(4:18)2012.
  22. Carroll Morgan & Annabelle McIver (1997): A Probabilistic Temporal Calculus Based on Expectations. In: In Lindsay Groves and Steve Reeves, editors, Proc. Formal Methods. Springer Verlag.
  23. Roberto Segala (1995): Modeling and Verification of Randomized Distributed Real-Time Systems. Laboratory for Computer Science, M.I.T..
  24. Colin Stirling (2001): Modal and Temporal Logics for Processes. Springer, doi:10.1007/3-540-60915-6_5.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org