@Inproceedings{EPTCS256.2, author = {Hutschenreiter, Lisa and Baier, Christel and Klein, Joachim}, year = {2017}, title = {Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination}, editor = {Bouyer, Patricia and Orlandini , Andrea and San Pietro, Pierluigi}, booktitle = {{\rm Proceedings Eighth International Symposium on} Games, Automata, Logics and Formal Verification, {\rm Roma, Italy, 20-22 September 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {256}, publisher = {Open Publishing Association}, pages = {16-30}, doi = {10.4204/EPTCS.256.2}, }