1 paper
Souymodip Chakraborty, Joost-Pieter Kataon
This paper is concerned with the verification of finite Markov chains against parametrized LTL (pLTL) formulas. In pLTL, the until-modality is equipped with a bound that contains v…