no code implementations • 20 Aug 2023 • Xusheng Luo, Shaojun Xu, Ruixuan Liu, Changliu Liu
Past research into robotic planning with temporal logic specifications, notably Linear Temporal Logic (LTL), was largely based on singular formulas for individual or groups of robots.