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 |