_id,doi,title
3875,10.1007/978-3-540-78499-9_22,Model-checking omega-regular properties of interval Markov chains