@misc(seaparam,
 author       = {Sebastian Arming and Ezio Bartocci and Ana Sokolova},
 year         = {2017},
 title        = {{SEA-PARAM}},
 howpublished = {\url{https://github.com/sarming/sea-param}},
)
@book(Baier2008,
 author       = {Christel Baier and Joost{-}Pieter Katoen},
 year         = {2008},
 title        = {Principles of model checking},
 publisher    = {{MIT} Press},
)
@article(BartocciBNS15,
 author       = {Ezio Bartocci and Luca Bortolussi and Laura Nenzi and Guido Sanguinetti},
 year         = {2015},
 title        = {System design of stochastic models using robustness of temporal properties},
 journal      = {Theor. Comput. Sci.},
 volume       = {587},
 pages        = {3--25},
 doi          = {10.1016/j.tcs.2015.02.046},
)
@inproceedings(BartocciGKRS11,
 author       = {Ezio Bartocci and Radu Grosu and Panagiotis Katsaros and C. R. Ramakrishnan and Scott A. Smolka},
 year         = {2011},
 title        = {Model Repair for Probabilistic Systems},
 booktitle    = {Proc.~{TACAS} 2011},
 series       = {LNCS},
 volume       = {6605},
 pages        = {326--340},
 doi          = {10.1007/978-3-642-19835-9_30},
)
@article(BortolussiMS16,
 author       = {Luca Bortolussi and Dimitrios Milios and Guido Sanguinetti},
 year         = {2016},
 title        = {Smoothed model checking for uncertain Continuous-Time Markov Chains},
 journal      = {Inf. Comput.},
 volume       = {247},
 pages        = {235--253},
 doi          = {10.1016/j.ic.2016.01.004},
)
@inproceedings(ChenHHKQ013,
 author       = {Taolue Chen and Ernst Moritz Hahn and Tingting Han and Marta Z. Kwiatkowska and Hongyang Qu and Lijun Zhang},
 year         = {2013},
 title        = {Model Repair for Markov Decision Processes},
 booktitle    = {Proc.~{TASE} 2013},
 publisher    = {{IEEE} Computer Society},
 pages        = {85--92},
 doi          = {10.1109/TASE.2013.20},
)
@inproceedings(Cubuktepe2017,
 author       = {Murat Cubuktepe and Nils Jansen and Sebastian Junges and Joost-Pieter Katoen and Ivan Papusha and Hasan A. Poonawala and Ufuk Topcu},
 year         = {2017},
 title        = {Sequential Convex Programming for the Efficient Verification of Parametric MDPs},
 booktitle    = {Proc.~{TACAS} 2017},
 series       = {LNCS},
 volume       = {10206},
 pages        = {133--150},
 doi          = {10.1007/978-3-662-54580-5_8},
)
@inproceedings(DC05,
 author       = {Conrado Daws},
 year         = {2005},
 title        = {Symbolic and Parametric Model Checking of Discrete-Time {Markov} Chains},
 booktitle    = {Proc.~{ICTAC} 2004},
 series       = {LNCS},
 volume       = {3407},
 pages        = {280--294},
 doi          = {10.1007/978-3-540-31862-0_21},
)
@inproceedings(DehnertJJCVBKA15,
 author       = {Christian Dehnert and Sebastian Junges and Nils Jansen and Florian Corzilius and Matthias Volk and Harold Bruintjes and Joost{-}Pieter Katoen and Erika {\'{A}}brah{\'{a}}m},
 year         = {2015},
 title        = {PROPhESY: {A} PRObabilistic ParamEter SYnthesis Tool},
 booktitle    = {Proc.~{CAV} 2015},
 series       = {LNCS},
 volume       = {9206},
 pages        = {214--231},
 doi          = {10.1007/978-3-319-21690-4_13},
)
@article(GlabbeekSS95,
 author       = {Rob J. van Glabbeek and Scott A. Smolka and Bernhard Steffen},
 year         = {1995},
 title        = {Reactive, Generative and Stratified Models of Probabilistic Processes},
 journal      = {Inf. Comput.},
 volume       = {121},
 number       = {1},
 pages        = {59--80},
 doi          = {10.1006/inco.1995.1123},
)
@article(HahnHZ11b,
 author       = {Ernst Moritz Hahn and Tingting Han and Lijun Zhang},
 year         = {2011},
 title        = {Probabilistic reachability for parametric Markov models},
 journal      = {{STTT}},
 volume       = {13},
 number       = {1},
 pages        = {3--19},
 doi          = {10.1007/s10009-010-0146-x},
)
@inproceedings(HahnHZ11,
 author       = {Ernst Moritz Hahn and Tingting Han and Lijun Zhang},
 year         = {2011},
 title        = {Synthesis for {PCTL} in Parametric Markov Decision Processes},
 booktitle    = {Proc.~{NFM} 2011},
 series       = {LNCS},
 volume       = {6617},
 pages        = {146--161},
 doi          = {10.1007/978-3-642-20398-5_12},
)
@inproceedings(HHWZ2010,
 author       = {Ernst Moritz Hahn and Holger Hermanns and Bj{\"o}rn Wachter and Lijun Zhang},
 year         = {2010},
 title        = {{PARAM}: A Model Checker for Parametric Markov Models},
 booktitle    = {Proc.~{CAV} 2010},
 series       = {LNCS},
 volume       = {6174},
 pages        = {660--664},
 doi          = {10.1007/978-3-642-14295-6_56},
)
@inproceedings(JansenCVWAKB14,
 author       = {Nils Jansen and Florian Corzilius and Matthias Volk and Ralf Wimmer and Erika {\'{A}}brah{\'{a}}m and Joost{-}Pieter Katoen and Bernd Becker},
 year         = {2014},
 title        = {Accelerating Parametric Probabilistic Verification},
 booktitle    = {Proc.~{QEST} 2014},
 series       = {LNCS},
 volume       = {8657},
 pages        = {404--420},
 doi          = {10.1007/978-3-319-10696-0_31},
)
@phdthesis(Kawamura:2011tx,
 author       = {Akitoshi Kawamura},
 year         = {2011},
 title        = {{Computational Complexity in Analysis and Geometry}},
 address      = {University of Toronto},
)
@book(Kreinovich1998bi,
 author       = {Vladik Kreinovich and Anatoly Lakeyev and Ji{\v{r}}{\'\i} Rohn and Patrick Kahl},
 year         = {1998},
 title        = {{Computational Complexity and Feasibility of Data Processing and Interval Computations}},
 series       = {Applied Optimization},
 volume       = {10},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4757-2793-7},
)
@inproceedings(KwiatkowskaNP11,
 author       = {Marta Z. Kwiatkowska and Gethin Norman and David Parker},
 year         = {2011},
 title        = {{PRISM} 4.0: Verification of Probabilistic Real-Time Systems},
 booktitle    = {Proc.~{CAV} 2011},
 series       = {LNCS},
 volume       = {6806},
 pages        = {585--591},
 doi          = {10.1007/978-3-642-22110-1_47},
)
@article(LMST2007,
 author       = {Ruggero Lanotte and Maggiolo-Schettini, Andrea and Angelo Troina},
 year         = {2007},
 title        = {Parametric probabilistic transition systems for system design and analysis},
 journal      = {Form. Asp. Comput.},
 volume       = {19},
 number       = {1},
 pages        = {93--109},
 doi          = {10.1007/s00165-006-0015-2},
)
@article(LS91:ic,
 author       = {K. G. Larsen and A. Skou},
 year         = {1991},
 title        = {Bisimulation through probabilistic testing},
 journal      = {Inf. Comput.},
 volume       = {94},
 pages        = {1--28},
 doi          = {10.1016/0890-5401(91)90030-6},
)
@article(lefevre81,
 author       = {C. Lefevre},
 year         = {1981},
 title        = {Optimal control of a birth and death epidemic process},
 journal      = {Oper. Res.},
 volume       = {29},
 number       = {5},
 pages        = {971--982},
 doi          = {10.1287/opre.29.5.971},
)
@inproceedings(Ayala2012,
 author       = {Medina Ayala, A. I. and S. B. Andersson and C. Belta},
 year         = {2012},
 title        = {Probabilistic control from time-bounded temporal logic specifications in dynamic environments},
 booktitle    = {Proc.~{ICRA} 2012},
 publisher    = {{IEEE}},
 pages        = {4705--4710},
 doi          = {10.1109/ICRA.2012.6224963},
)
@article(DBLP:journals/mp/MurtyK87,
 author       = {Katta G Murty and Santosh N Kabadi},
 year         = {1987},
 title        = {{Some NP-complete problems in quadratic and nonlinear programming}},
 journal      = {Mathematical Programming},
 volume       = {39},
 number       = {2},
 pages        = {117--129},
 doi          = {10.1007/BF02592948},
)
@inproceedings(PathakAJTK15,
 author       = {Shashank Pathak and Erika {\'{A}}brah{\'{a}}m and Nils Jansen and Armando Tacchella and Joost{-}Pieter Katoen},
 year         = {2015},
 title        = {A Greedy Approach for the Efficient Repair of Stochastic Models},
 booktitle    = {Proc.~{NFM} 2015},
 series       = {LNCS},
 volume       = {9058},
 pages        = {295--309},
 doi          = {10.1007/978-3-319-17524-9_21},
)
@article(Qui2001,
 author       = {Q. Qiu and Q. Wu and M. Pedram},
 year         = {2001},
 title        = {Stochastic modeling of a power-managed system-construction and optimization},
 journal      = {IEEE T.\ Comput.\ Aid.\ D.},
 volume       = {20},
 number       = {10},
 pages        = {1200--1217},
 doi          = {10.1145/313817.313923},
)
@inproceedings(QuatmannD0JK16,
 author       = {Tim Quatmann and Christian Dehnert and Nils Jansen and Sebastian Junges and Joost{-}Pieter Katoen},
 year         = {2016},
 title        = {Parameter Synthesis for Markov Models: Faster Than Ever},
 booktitle    = {Proc.~{ATVA} 2016},
 series       = {LNCS},
 volume       = {9938},
 pages        = {50--67},
 doi          = {10.1007/978-3-319-46520-3_4},
)
@article(DBLP:journals/siamcomp/Sahni74,
 author       = {Sartaj Sahni},
 year         = {1974},
 title        = {{Computationally Related Problems}},
 journal      = {SIAM J. Comput.},
 volume       = {3},
 number       = {4},
 pages        = {262--279},
 doi          = {10.1137/0203021},
)
@inproceedings(SL94:concur,
 author       = {R. Segala and N.A. Lynch},
 year         = {1994},
 title        = {Probabilistic Simulations for Probabilistic Processes},
 booktitle    = {Proc.~{CONCUR}'94},
 series       = {LNCS},
 volume       = {836},
 pages        = {481--496},
 doi          = {10.1007/BFb0015027},
)
@book(Sennott1998,
 author       = {Linn I. Sennott},
 year         = {1998},
 title        = {Stochastic Dynamic Programming and the Control of Queueing Systems},
 publisher    = {Wiley},
 doi          = {10.1002/9780470317037},
)