Search Results - "formal methods in automation and robotics"

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

Authors: Zhangli Zhou Ziyang Chen Mingyu Cai et al.

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

Subject Terms: 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

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/02p805kr