Vol-3578⫷ Vol-3579 ⫸Vol-3580
urn:nbn:de:0074-3579-0


Vol-3579/paper10⫷Vol-3579/paper11⫸Vol-3579/paper12
Stefania CostantiniAndrea Formisano 0001Valentina Pitoni

A Timed Epistemic Logic for Formalizing Cooperation among Groups of Agents