"MoChiBA: Probabilistic LTL Model Checking Using Limit-Deterministic ..."

Salomon Sickert, Jan Kretínský (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics