TY  - RPRT
TI  - PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
AU  - Chaitanya Agarwal
AU  - Shibashis Guha
AU  - Jan Křetínský
AU  - M. Pazhamalai
PY  - 2022
UR  - https://arxiv.org/abs/2206.01465
ID  - 2206.01465
ER  -