PAC statistical model checking of mean payoff in discrete- and continuous-time MDP Published in CAV 2022, 1900Download Paper
