Reachability for Branching Concurrent Stochastic Games

Kousha Etessami, Emanuel Martinov, Alistair Stewart, Mihalis Yannakakis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fingerprint

Dive into the research topics of 'Reachability for Branching Concurrent Stochastic Games'. Together they form a unique fingerprint.

Engineering & Materials Science