Sebastián A. Zudaire

Iterator-Based Temporal Logic Task Planning

Temporal logic task planning for robotic systems suffers from state explosion when specifications involve large numbers of discrete locations. We provide a novel approach, particularly suited for task specifications with universally quantified locations, that has constant time with respect to the nu…