On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties.

Dang Van Hung, Miaomiao Zhang

Browse the full RTCSA paper archive.