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., 2025)