Category: Uncategorized

M2 internship: Structural properties of Dynamic Epistemic Arenas

Description This internship subject is purely theoretical to provide a crucial understanding of phenomena arising in multi-agent systems analysis. Multi-agent systems behaviours can be modelled by combining two ingredients (as proposed in Dynamic Epistemic Logic [vDvHK2007]): 1. Epistemic models, that we call “situations”, represent a static situation: these are graphs whose vertices are possible worlds …

Continue reading

Your first news

Welcome to Teams Sites. This is your first news.