Reachability for Branching Concurrent Stochastic Games

Kousha Etessami, Emanuel Martinov, Alistair Stewart, Mihalis Yannakakis. Reachability for Branching Concurrent Stochastic Games. In Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, Stefano Leonardi, editors, 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece. Volume 132 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]

Authors

Kousha Etessami

This author has not been identified. Look up 'Kousha Etessami' in Google

Emanuel Martinov

This author has not been identified. Look up 'Emanuel Martinov' in Google

Alistair Stewart

This author has not been identified. Look up 'Alistair Stewart' in Google

Mihalis Yannakakis

This author has not been identified. Look up 'Mihalis Yannakakis' in Google