Tulip: Model Checking Probabilistic Systems Using Expectation Maximisation Algorithm

QEST(2013), pp. 155-159

Abstract

Research Areas