References

  1. Christel Baier & Joost-Pieter Katoen (2008): Principles of Model Checking. The MIT Press.
  2. Erwin H. Bareiss (1972): Computational Solutions of Matrix Problems over an Integral Domain. IMA Journal of Applied Mathematics 10(1), pp. 68–104, doi:10.1093/imamat/10.1.68.
  3. Saugata Basu, Richard Pollack & Marie-Françoise Roy (2008): Algorithms in Real Algebraic Geometry. Springer.
  4. Michael Ben-Or, Dexter Kozen & John Reif (1986): The Complexity of Elementary Algebra and Geometry. Journal of Computer and System Sciences 32(2), pp. 251–264, doi:10.1016/0022-0000(86)90029-2.
  5. Michael Benedikt, Rastislav Lenhardt & James Worrell (2013): LTL Model Checking of Interval Markov Chains. In: 19th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS 7795. Springer, pp. 32–46, doi:10.1007/978-3-642-36742-7_3.
  6. Krishnendu Chatterjee, Koushik Sen & Thomas A. Henzinger (2008): Model-Checking omega-Regular Properties of Interval Markov Chains. In: 11th Int. Conference on Foundations of Software Science and Computational Structures (FoSSaCS), LNCS 4962. Springer, pp. 302–317, doi:10.1007/978-3-540-78499-9_22.
  7. Frank Ciesinski, Christel Baier, Marcus Größer & Joachim Klein (2008): Reduction Techniques for Model Checking Markov Decision Processes. In: 5th Int. Conference on Quantitative Evaluation of Systems (QEST). IEEE, pp. 45–54, doi:10.1109/QEST.2008.45.
  8. Conrado Daws (2005): Symbolic and Parametric Model Checking of Discrete-Time Markov Chains. In: 1st Int. Colloquium on Theoretical Aspects of Computing (ICTAC), LNCS 3407. Springer, pp. 280–294, doi:10.1007/978-3-540-31862-0_21.
  9. Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen & Erika Ábrahám (2015): PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. In: 27th Int. Conference on Computer Aided Verification (CAV), LNCS 9206. Springer, pp. 214–231, doi:10.1007/978-3-319-21690-4_13.
  10. Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen & Matthias Volk (2017): A Storm is Coming: A Modern Probabilistic Model Checker. In: 29th Int. Conference on Computer Aided Verification (CAV), LNCS 10427. Springer, pp. 592–600, doi:10.1007/978-3-319-63390-9_31.
  11. Antonio Filieri, Carlo Ghezzi & Giordano Tamburrelli (2011): Run-time efficient probabilistic model checking. In: 33rd Int. Conference on Software Engineering (ICSE). ACM, pp. 341–350, doi:10.1145/1985793.1985840.
  12. Keith O. Geddes, Stephen R. Czapor & George Labahn (1993): Algorithms for Computer Algebra. Kluwer.
  13. Ernst Moritz Hahn, Holger Hermanns, Björn Wachter & Lijun Zhang (2010): PARAM: A Model Checker for Parametric Markov Models. In: 22nd Int. Conference on Computer Aided Verification (CAV), LNCS 6174. Springer, pp. 660–664, doi:10.1007/978-3-642-14295-6_56.
  14. Ernst Moritz Hahn, Holger Hermanns & Lijun Zhang (2011): Probabilistic reachability for parametric Markov models. Int. Journal on Software Tools for Technology Transfer 13(1), pp. 3–19, doi:10.1007/s10009-010-0146-x.
  15. Hans Hansson & Bengt Jonsson (1994): A logic for reasoning about time and reliability. Formal Aspects of Computing 6(5), pp. 512–535, doi:10.1007/bf01211866.
  16. Lisa Hutschenreiter, Christel Baier & Joachim Klein (2017): Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination (extended version). Available at http://wwwtcs.inf.tu-dresden.de/ALGI/PUB/GandALF17/.
  17. Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen & Bernd Becker (2014): Accelerating Parametric Probabilistic Verification. In: 11th Conference on Quantitative Evaluation of Systems (QEST), LNCS 8657. Springer, pp. 404–420, doi:10.1007/978-3-319-10696-0_31.
  18. Bengt Jonsson & Kim Guldstrand Larsen (1991): Specification and Refinement of Probabilistic Processes. In: 6th Annual Symposium on Logic in Computer Science (LICS). IEEE, pp. 266–277, doi:10.1109/LICS.1991.151651.
  19. Ravindran Kannan (1985): Solving Systems of Linear Equations over Polynomials. Theoretical Computer Science 39, pp. 69–88, doi:10.1016/0304-3975(85)90131-8.
  20. Vidyadhar G. Kulkarni (1995): Modeling and analysis of stochastic systems. Chapman & Hall.
  21. Marta Z. Kwiatkowska, Gethin Norman & David Parker (2011): PRISM 4.0: Verification of Probabilistic Real-Time Systems. In: 23rd Int. Conference on Computer Aided Verification (CAV), LNCS 6806. Springer, pp. 585–591, doi:10.1007/978-3-642-22110-1_47.
  22. Ruggero Lanotte, Andrea Maggiolo-Schettini & Angelo Troina (2007): Parametric probabilistic transition systems for system design and analysis. Formal Aspects of Computing 19(1), pp. 93–109, doi:10.1007/s00165-006-0015-2.
  23. Michael T. McClellan (1973): The exact solution of systems of linear equations with polynomial coefficients. Journal of the Association for Computing Machinery 20(4), pp. 563–588, doi:10.1145/321784.321787.
  24. George Nakos, Peter R. Turner & Robert M. Williams (1997): Fraction-free algorithms for linear and polynomial equations. ACM SIGSAM Bulletin 31(3), pp. 11–19, doi:10.1145/271130.271133.
  25. Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges & Joost-Pieter Katoen (2016): Parameter Synthesis for Markov Models: Faster Than Ever. In: 14th Int. Symposium on Automated Technology for Verification and Analysis (ATVA), LNCS 9938. Springer, pp. 50–67, doi:10.1007/978-3-319-46520-3_4.
  26. Koushik Sen, Mahesh Viswanathan & Gul Agha (2006): Model-Checking Markov Chains in the Presence of Uncertainties. In: 12th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS 3920. Springer, pp. 394–410, doi:10.1007/11691372_26.
  27. William Y. Sit (1992): An Algorithm for Solving Parametric Linear Systems. Journal of Symbolic Computation 13(4), pp. 353–394, doi:10.1016/S0747-7171(08)80104-6.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org