Time for Statistical Model Checking of Real-Time Systems.

Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang

Browse the full CAV paper archive.