Incremental verification of parametric and reconfigurable Markov chains. (English) Zbl 1514.68133
McIver, Annabelle (ed.) et al., Quantitative evaluation of systems. 15th international conference, QEST 2018, Beijing, China, September 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11024, 140-156 (2018).