How to specify and verify long-run average behaviour of probabilistic systems (1998)

by L de Alfaro
Venue:in: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science