Synthesizing Best-effort Strategies under Multiple Environment Specifications.

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

Browse the full KR paper archive.