Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
arXiv:1710.10756.pdf (Preprint), 444KB
Lengál, O., Lin, A. W., Majumdar, R., & Rümmer, P. (2017). Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report). Retrieved from http://arxiv.org/abs/1710.10756.