Probabilistic Strategy Logic.

Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin

Browse the full IJCAI paper archive.