Suchergebnisse - "formal methods in automation and robotics"

Vision-Based Reactive Temporal Logic Motion Planning for Quadruped Robots in Unstructured Dynamic Environments von 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 …”
Volltext