Výsledky vyhledávání - "formal methods in automation and robotics"

Vision-Based Reactive Temporal Logic Motion Planning for Quadruped Robots in Unstructured Dynamic Environments Autor Zhou, Zhangli, Chen, Ziyang, Cai, Mingyu, Li, Zhijun, Kan, Zhen, Su, Chun-Yi

“…Temporal logic-based motion planning has been extensively studied to address complex robotic tasks. However, existing works primarily focus on static…”
Získat plný text