@dblp

Stochastic Timed Games Revisited.

, , , , and . MFCS, volume 58 of LIPIcs, page 8:1-8:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

Links and resources

Tags