Tulip: Model Checking Probabilistic Systems Using Expectation Maximisation Algorithm

QEST (2013), pp. 155-159

Abstract