Model-Checking omega-Regular Properties of Interval Markov Chains.

Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger

Browse the full FOSSACS paper archive.