Paper accepted at ASMTA 2015

The paper “Model Checking of Open Interval Markov Chains” by Souymodip Chakraborty and Joost-Pieter Katoen has been accepted at the 22nd International Conference on Analytical & Stochastic Modelling Techniques & Applications (ASMTA 2015).  The paper shows that interval MCs with open intervals can be verified by re-using techniques for closed interval MCs.