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
68–104
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
251–264
10.1016/0022-0000(86)90029-2
Michael Benedikt
Rastislav Lenhardt
James Worrell
2013
LTL Model Checking of Interval Markov Chains
19th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
LNCS
7795
Springer
32–46
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
11th Int. Conference on Foundations of Software Science and Computational Structures (FoSSaCS)
LNCS
4962
Springer
302–317
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
5th Int. Conference on Quantitative Evaluation of Systems (QEST)
IEEE
45–54
10.1109/QEST.2008.45
Conrado Daws
2005
Symbolic and Parametric Model Checking of Discrete-Time Markov Chains
1st Int. Colloquium on Theoretical Aspects of Computing (ICTAC)
LNCS
3407
Springer
280–294
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
27th Int. Conference on Computer Aided Verification (CAV)
LNCS
9206
Springer
214–231
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
29th Int. Conference on Computer Aided Verification (CAV)
LNCS
10427
Springer
592–600
10.1007/978-3-319-63390-9_31
Antonio Filieri
Carlo Ghezzi
Giordano Tamburrelli
2011
Run-time efficient probabilistic model checking
33rd Int. Conference on Software Engineering (ICSE)
ACM
341–350
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
22nd Int. Conference on Computer Aided Verification (CAV)
LNCS
6174
Springer
660–664
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
3–19
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
512–535
10.1007/bf01211866
Lisa Hutschenreiter
Christel Baier
Joachim Klein
2017
Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination (extended version)
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
11th Conference on Quantitative Evaluation of Systems (QEST)
LNCS
8657
Springer
404–420
10.1007/978-3-319-10696-0_31
Bengt Jonsson
Kim Guldstrand Larsen
1991
Specification and Refinement of Probabilistic Processes
6th Annual Symposium on Logic in Computer Science (LICS)
IEEE
266–277
10.1109/LICS.1991.151651
Ravindran Kannan
1985
Solving Systems of Linear Equations over Polynomials
Theoretical Computer Science
39
69–88
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
23rd Int. Conference on Computer Aided Verification (CAV)
LNCS
6806
Springer
585–591
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
93–109
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
563–588
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
11–19
10.1145/271130.271133
Tim Quatmann
Christian Dehnert
Nils Jansen
Sebastian Junges
Joost-Pieter Katoen
2016
Parameter Synthesis for Markov Models: Faster Than Ever
14th Int. Symposium on Automated Technology for Verification and Analysis (ATVA)
LNCS
9938
Springer
50–67
10.1007/978-3-319-46520-3_4
Koushik Sen
Mahesh Viswanathan
Gul Agha
2006
Model-Checking Markov Chains in the Presence of Uncertainties
12th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
LNCS
3920
Springer
394–410
10.1007/11691372_26
William Y. Sit
1992
An Algorithm for Solving Parametric Linear Systems
Journal of Symbolic Computation
13
4
353–394
10.1016/S0747-7171(08)80104-6