Publication

[XuZJZY16] Multiphase until formulas over Markov reward models: An algebraic approach Xu, M.; Zhang, L.; Jansen, D. N.; Zhu, H. and Yang, Z. In Theor. Comput. Sci., 611: 116-135, 2016. doi.. Downloads: bibURL: http://dx.doi.org/10.1016/j.tcs.2015.07.047