Sound Statistical Model Checking for Probabilities and Expected Rewards.

Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhft

Browse the full TACAS paper archive.