Propriétés de jeux multi-agents
Nous etendons les logiques temporelles du temps alternant ATL et ATL* au moyen de contextes strategiques et de contraintes sur la memoire : la premiere extension permet aux agents de s'en tenir a leurs strategies lors de l'evaluation des formules, contrairement a ATL ou chaque quantificate...
Main Author: | |
---|---|
Language: | FRE |
Published: |
École normale supérieure de Cachan - ENS Cachan
2011
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00744970 http://tel.archives-ouvertes.fr/docs/00/74/49/70/PDF/DaCostaLopes2011.pdf |