|
Evènement pour le groupe Modélisation et Verification
Date | 2009-12-03 11:00-12:15 |
Titre | Alternating-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. |
Lieu | Salle 076, LaBRI, Rez-de-chaussée |
Orateur | François Laroussinie |
Email | Francois.Laroussinie@liafa.jussieu.fr |
Url | LIAFA |
Aucun document lié à cet événement. RetourRetour à l'index
| |