LTL Model Checking of Time-Inhomogeneous Markov Chains.

Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre

Browse the full ATVA paper archive.