Design and validation of computer protocols
Design and validation of computer protocols
A first-order branching time logic of multi-agent systems
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Feature integration using a feature construct
Science of Computer Programming
Symbolic Model Checking
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
Alternating Refinement Relations
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
Alternating-time Temporal Logic
FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
Proceedings of the 35th conference on Winter simulation: driving innovation
On the logic of cooperation and propositional control
Artificial Intelligence
Complete axiomatization and decidability of alternating-time temporal logic
Theoretical Computer Science
On the complexity of practical ATL model checking
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
MASL: A Logic for the Specification of Multiagent Real-Time Systems
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
On the logic of cooperation and propositional control
Artificial Intelligence
Controlled experimentation with agents: models and implementations
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
Selective approaches for solving weak games
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
| Hi-index | 0.01 |
We present a notion of refinement between agent-oriented systems defined using alternating-time temporal logic (ATL). The refinement relation provides a framework for defining roles in a society of interacting agents, and formalising a relation of conformance between agents and roles. The refinement relation also allows us to construct abstractions in order to make verification more tractable.