LTL Model Checking of Interval Markov Chains.

Michael Benedikt, Rastislav Lenhardt, James Worrell

Browse the full TACAS paper archive.