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]
No references recorded for this publication.
No citations of this publication recorded.