Specifying Agent Strategy Spaces via LTL Synthesis.

Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin

Browse the full KR paper archive.