Agents and Roles: Refinement in Alternating-Time Temporal Logic

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of Agents: Theories, Achitectures and Languages (ATAL)
EditorsJohn Jules Meyer
Pages100-114
Number of pages15
Volume2333
Publication statusPublished - 2002

Cite this

Ryan, M., & Schobbens, P-Y. (2002). Agents and Roles: Refinement in Alternating-Time Temporal Logic. In J. J. Meyer (Ed.), Proceedings of Agents: Theories, Achitectures and Languages (ATAL) (Vol. 2333, pp. 100-114)