Reachability for Branching Concurrent Stochastic Games. - Kousha Etessami; Emanuel Martinov; Alistair Stewart; Mihalis Yannakakis (ICALP, 2019)

Qualitative Multi-objective Reachability for Ordered Branching MDPs. - Kousha Etessami; Emanuel Martinov (RP, 2020)