About us

The ASTREA (Automated STrategic REAsoning) Laboratory, led by Prof.  Aniello Murano,  studies Formal Methods for Multi-Agent Systems, with a focus on Strategy Logic and related formalisms.

The lab is part of Dipartimento di Ingegneria Elettrica e delle Tecnologie dell'Informazione of the Università degli Studi di Napoli Federico II.