Periodic Reporting for period 1 - LoGIcInMAS (Logics and Games for Imperfect Information in Multi-Agent Systems)

This project’s aim was to develop formal methods based on logics and game theory to model, specify and analyse multi-agent systems (MAS). Such systems, in which autonomous agents interact and strategise to achieve private and/or common objectives, are central in many...