Embedded Files
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 Information Technology and Electrical Engineering Department (DIETI) of the Università degli Studi di Napoli Federico II.
We are here:
Page updated
Google Sites
Report abuse