Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments.

Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio

Browse the full KR paper archive.