Developing Formal Specifications to Coordinate Heterogeneous Autonomous Agents (1998)

by M P Singh
Venue:In Proceedings of the Third International Conference on MultiAgent Systems, IEEE Computer Society