How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems.

Luca de Alfaro

Browse the full LICS paper archive.