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

3 June 2022

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

3 / 3 papers shown

Title
Playing Games with your PET: Extending the Partial Exploration Tool to Stochastic Games Tobias Meggendorfer Maximilian Weininger 34 3 0 06 May 2024
What Are the Odds? Improving the foundations of Statistical Model Checking Tobias Meggendorfer Maximilian Weininger Patrick Wienhoft 39 4 0 08 Apr 2024
Efficient Sensitivity Analysis for Parametric Robust Markov Chains Thom S. Badings Sebastian Junges Ahmadreza Marandi Ufuk Topcu N. Jansen 31 1 0 01 May 2023