A Proof-System for the Safe Execution of Tasks in Multi-agent Systems.

Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni

Browse the full JELIA paper archive.