Perfect-Information Stochastic Mean-Payoff Parity Games.
Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Youssouf Oualhadj
Browse the full FOSSACS paper archive.
Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Youssouf Oualhadj
Browse the full FOSSACS paper archive.