Towards Hierarchical Probabilistic CTL Model Checking: Theoretical Foundations.

Norihiro Kamide, Yuki Yano

Browse the full ICAART paper archive.