martinschonger/abc-ds

ABC-DS: obstacle Avoidance with Barrier-Certified polynomial Dynamical Systems

语言：MATLAB · GitHub 星标：11 · Fork：4

话题：formal-methods-in-robotics-and-automation · learning-from-demonstration · robot-safety

在 GitHub 上查看原仓库