Synchronizing Multiagent Plans using Temporal Logic Specifications

Froduald Kabanza

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.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.