Login / Signup

Continuous-Time Stochastic Games with Time-Bounded Reachability.

Tomás BrázdilVojtech ForejtJan KrcálJan KretínskýAntonín Kucera
Published in: FSTTCS (2009)
Keyphrases