HyperPCTL Model Checking by Probabilistic Decomposition.

Eshita Zaman, Gianfranco Ciardo, Erika brahm, Borzoo Bonakdarpour

Browse the full IFM paper archive.