Hennessy-Milner Results for Probabilistic PDL

Tao Gu, Alexandra Silva 0001, Fabio Zanasi. Hennessy-Milner Results for Probabilistic PDL. In Patricia Johann, editor, Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2020, Online, October 1, 2020. Volume 352 of Electronic Notes in Theoretical Computer Science, pages 283-304, Elsevier, 2020. [doi]

Abstract

Abstract is missing.