Developing Formal Specifications to Coordinate Heterogeneous Autonomous Agents

Munindar P. Singh. Developing Formal Specifications to Coordinate Heterogeneous Autonomous Agents. In Yves Demazeau, editor, Proceedings of the Third International Conference on Multiagent Systems, ICMAS 1998, 3-7 July 1998, Paris, France. pages 261-268, IEEE Computer Society, 1998.

Abstract

Abstract is missing.