The Complexity of Rational Synthesis for Concurrent Games.

Rodica Condurache, Youssouf Oualhadj, Nicolas Troquard

Browse the full CONCUR paper archive.