Non-cooperative rational synthesis problem for probabilistic strategies

So Koide, Yoshiaki Takata, Hiroyuki Seki

We study the decidability and complexity of non-cooperative rational synthesis problem (abbreviated as NCRSP) for some classes of probabilistic strategies. We show that NCRSP for s…