Specifying Agent Strategy Spaces via LTL Synthesis

Benjamin Aminof‚ Giuseppe De Giacomo‚ Aniello Murano and Sasha Rubin