Iterator-Based Temporal Logic Task Planning

Sebastián Zudaire, Martín Garrett, Sebastián Uchitel

Temporal logic task planning for robotic systems suffers from state explosion when specifications involve large numbers of discrete locations. We provide a novel approach, particul…