Agents and Roles: Refinement in Alternating-Time Temporal Logic
- 21 June 2002
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 100-115
- https://doi.org/10.1007/3-540-45448-9_8
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Alternating-time temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Feature integration using a feature constructScience of Computer Programming, 2001
- Alternating refinement relationsLecture Notes in Computer Science, 1998
- Symbolic Model CheckingPublished by Springer Science and Business Media LLC ,1993