Evènement pour le groupe Modélisation et Verification


Date 2009-12-03  11:00-12:15
TitreAlternating-time Temporal Logic: Expressivity, Complexity, Extensions 
RésuméIn this talk we will consider several temporal logics for expressing properties over games (modeled with Concurrent Game Structures). We will present ATL, ATL* and also two extensions: with strategy contexts and with memory constraints. The first extension makes strategy quantifiers to not ``forget'' the strategies being executed by the other players. The second extension allows strategy quantifiers to restrict to memoryless or bounded-memory strategies. We will first consider expressiveness issues. We show that our logics can express important properties such as equilibria, and we formally compare them with other similar formalisms ATL, ATL*, Game Logic, AMC, Strategy Logic,... We will also address the problem of model-checking for these logics. Joint work with: Th. Brihaye, A.. Da Costa, N. Markey. 
LieuSalle 076, LaBRI, Rez-de-chaussée 
OrateurFrançois Laroussinie 
EmailFrancois.Laroussinie@liafa.jussieu.fr 
UrlLIAFA 



Aucun document lié à cet événement.

Retour
Retour à l'index