vix.ing · top · new · best · stats · spec

Wei, Zhongqi

  1. Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems
    2025/04/26 by Zhongqi Wei, Wei, Zhongqi, Xusheng Luo +3 · 3 citations
    Computer Science · #AI-based Problem Solving and Planning #FOS: Computer and information sciences #Formal Methods in Verification #Robotic Path Planning Algorithms #Robotics (cs.RO)