Tao Gu. Hennessy-Milner Property for Probabilistic PDL.
Channel: MFPS 2020
Date: 2020-06-01

Tao Gu, Alexandra Silva and Fabio Zanasi. Hennessy-Milner Results for Probabilistic PDL.