Topic: "formal-methods-in-robotics-and-automation"
martinschonger/abc-ds
ABC-DS: obstacle Avoidance with Barrier-Certified polynomial Dynamical Systems
Language: MATLAB - Size: 108 MB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 8 - Forks: 2
zhang-zengjie/modustl
Splitting signal temporal logic specifications in time
Language: Python - Size: 132 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 2 - Forks: 0
zhang-zengjie/pce-intent-aware-control
Intention-Aware Control Using Stochastic Expansion Methods
Language: Python - Size: 2.97 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0