Reachability for Branching Concurrent Stochastic Games.

Kousha Etessami, Emanuel Martinov, Alistair Stewart, Mihalis Yannakakis

Browse the full ICALP paper archive.