PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games.

Pranav Ashok, Jan Kretnsk, Maximilian Weininger

Browse the full CAV paper archive.