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

von Agarwal, Chaitanya
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)