Nondeterministic Strategies and their Refinement in Strategy Logic.

Giuseppe De Giacomo, Bastien Maubert, Aniello Murano

Browse the full KR paper archive.