Expressiveness of probabilistic modal logics: A gradual approach

Florence Clerc, Nathanaƫl Fijalkow, Bartek Klin, Prakash Panangaden. Expressiveness of probabilistic modal logics: A gradual approach. Inf. Comput., 267:145-163, 2019. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: