A Probabilistic Logic for Verifying Continuous-time Markov Chains.

Ji Guan, Nengkun Yu

Browse the full TACAS paper archive.