Games, Time, and Probability: Graph Models for System Design and Analysis.

Thomas A. Henzinger

Browse the full SOFSEM paper archive.