Souymodip Chakraborty, Joost-Pieter Katoen. Parametric LTL on Markov Chains. Josep Diaz; Ivan Lanese; Davide Sangiorgi. 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. Springer, Lecture Notes in Computer Sci
HAL Archives-Ouvertes,
hal-01402042, version 1 Abstract : This paper is concerned with the verification of finite Markov chains against parametrized…