Hennessy-Milner Results for Probabilistic PDL.

Tao Gu, Alexandra Silva, Fabio Zanasi

Browse the full MFPS paper archive.