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]

No reviews for this publication, yet.