LTL model checking of time-inhomogeneous Markov chains (2009)

by Taolue Chen, Tingting Han, Joost-pieter Katoen, Ru Mereacre
Venue:in Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis