It Usually Works: The Temporal Logic of Stochastic Systems.

Adnan Aziz, Vigyan Singhal, Felice Balarin

Browse the full CAV paper archive.