Strategies in Spatio-Temporal Logics for Multi-agent Systems.

Paolo Bottoni, Anna Labella, Giuseppe Perelli

Browse the full ISoLA paper archive.