Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Chatterjee, K., Chmelik, M., & Majumdar, R. (2012). Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games. In S. Chakraborty, & M. Mukund (Eds.), Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012 (pp. 385-399). New York, NY: Springer.