Compositional verification of a distributed real-time arbitration protocol

Principles of component-based design of intelligent agents

Data & Knowledge Engineering

Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic

Journal of Logic, Language and Information

Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness

COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference

Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic

ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages

Compositional Verification of a Multi-Agent System for One-to-Many Negotiation

Applied Intelligence

Verifying Interlevel Relations within Multi-Agent Systems

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy

Automated analysis of compositional multi-agent systems

International Journal of Agent-Oriented Software Engineering