Thomas A. Henzinger. Games, Time, and Probability: Graph Models for System Design and Analysis. In Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plasil, editors, SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings. Volume 4362 of Lecture Notes in Computer Science, pages 103-110, Springer, 2007. [doi]
Abstract is missing.