Synchronizing Multiagent Plans using Temporal Logic Specifications

First International Conference on Multiagent Systems

Volume

First International Conference on Multiagent Systems

Contents

Plan synchronization is a method of analyzing multi-agent plans to introduce ordering constraints between them so that their concurrent execution achieves a desired goal. We describe a plan synchronization method for goals expressed using temporal logic specifications. Our goals can involve both qualitative and quantitative time requirements. The requirements expressed by a goal can involve safety constraints as well as liveness ones. The key to our method is a technique for checking goal formulas incrementally over models of concurrent executions of plans. Our approach covers more general goal types than any comparable method. It also promises easy integration with standard AI planning search control and heuristic strategies.