HyperPCTL Model Checking by Probabilistic Decomposition. - Eshita Zaman; Gianfranco Ciardo; Erika Ábrahám; Borzoo Bonakdarpour (IFM, 2022)