Rational Synthesis Under Imperfect Information.

Emmanuel Filiot, Raffaella Gentilini, Jean-Franois Raskin

Browse the full LICS paper archive.