We’re excited to share a packed week of presentations, posters, and competitions by our lab members at ICRA 2025 in Atlanta! Join us to learn about our latest research in safe, intelligent, and human-centered robotics.


🗓️ May 19 (Monday)


🗓️ May 20 (Tuesday)

  • Talk: Decomposition-Based Hierarchical Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications (Luo et al., 2024)
    • 👤 Xusheng Luo
    • 📍 Room 303 (Regular Session TuDT3: Verification and Formal Methods)
    • ⏰ 4:35pm–4:40pm

🗓️ May 21 (Wednesday)


🗓️ May 22 (Thursday)


🗓️ May 23 (Friday)