LTL Synthesis Under Multi-Agent Environment Assumptions.

Benjamin Aminof, Giuseppe De Giacomo, Giuseppe Perelli, Sasha Rubin

Browse the full KR paper archive.