PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP. - Chaitanya Agarwal; Shibashis Guha; Jan Kretínský; Pazhamalai Muruganandham (CAV (2), 2022)