M. Pazhamalai

According to our database, M. Pazhamalai authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

PAC statistical model checking of mean payoff in discrete- and continuous-time MDP.

Chaitanya Agarwal, Shibashis Guha, Jan Kretínský, M. Pazhamalai

Formal Methods Syst. Des., August, 2025