A Model Checker for Hierarchical Probabilistic Real-Time Systems.

Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong

Browse the full CAV paper archive.