PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP.

Chaitanya Agarwal, Shibashis Guha, Jan Kretnsk, Pazhamalai Muruganandham

Browse the full CAV paper archive.