Suchergebnisse - "formal methods in automation and robotics"

Vision-Based Reactive Temporal Logic Motion Planning for Quadruped Robots in Unstructured Dynamic Environments

Autoren: Zhangli Zhou Ziyang Chen Mingyu Cai et al.

Quelle: IEEE Transactions on Industrial Electronics, vol PP, iss 99

Schlagwörter: Electrical & Electronic Engineering, Engineering, quadruped robot, Data Management and Data Science, Artificial Intelligence, Information and Computing Sciences, Information and computing sciences, Computer vision, linear temporal logic, online motion planning, formal methods in automation and robotics

Dateibeschreibung: application/pdf

Zugangs-URL: https://escholarship.org/uc/item/02p805kr