Tutorial on using hypothesis testing for solving the probabilistic model checking problem.
['Axel Legay', 'Mahesh Viswanatha']
Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems