Sign in

Stochastic Games with Branching-Time Winning Objectives.

Tomás BrázdilVáclav BrozekVojtech ForejtAntonín Kucera
Published in: LICS (2006)
Keyphrases