LTL Model Checking of Interval Markov Chains

Michael Benedikt
James Worrell
TACAS (2013), pp. 32-46

Abstract