Our group has had a paper accepted at the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR21):

  • B. Aminof, G. De Giacomo, A. Lomuscio, A. Murano, S. Rubin. Synthesizing Best-effort Strategies under Multiple Environment Specifications.

More details can be found on the publications page.