Strategy Improvement for Stochastic Rabin and Streett Games

CONCUR 2006 – Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/11817949_25 ◽

2006 ◽

pp. 375-389 ◽

Cited By ~ 4

Author(s):

Krishnendu Chatterjee ◽

Thomas A. Henzinger

Download Full-text