Muralidhar Narasimha

Cleaveland, R., Iyer, S. P., & Narasimha, M. (2005). Probabilistic temporal logics via the modal mu-calculus. THEORETICAL COMPUTER SCIENCE, 342(2-3), 316–350. https://doi.org/10.1016/j.tcs.2005.03.048

Narasimha, M., Cleaveland, R., & Iyer, P. (1999). Probabilistic temporal logics via the modal mu-calculus. In Foundations of software science and computation structures: Second International Conference, FOSSACS '99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999: proceedings (Vol. 1578, pp. 288–305). Berlin; New York: Springer.