Christel Baier & Joost-Pieter Katoen (2008):
Principles of Model Checking.
The MIT Press.
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.
Saugata Basu, Richard Pollack & Marie-Françoise Roy (2008):
Algorithms in Real Algebraic Geometry.
Springer.
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.
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.
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.
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.
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.
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.
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.
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.
Keith O. Geddes, Stephen R. Czapor & George Labahn (1993):
Algorithms for Computer Algebra.
Kluwer.
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.
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.
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.
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/.
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.
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.
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.
Vidyadhar G. Kulkarni (1995):
Modeling and analysis of stochastic systems.
Chapman & Hall.
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.
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.
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.
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.
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.
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.
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.