ABC-DS: obstacle Avoidance with Barrier-Certified polynomial Dynamical Systems
-
Updated
Aug 10, 2024 - MATLAB
#
formal-methods-in-robotics-and-automation
Here are 3 public repositories matching this topic...
Splitting signal temporal logic (STL) specifications in time
formal-methods
scalable-applications
signal-temporal-logic
robotic-task
formal-methods-in-robotics-and-automation
-
Updated
Sep 7, 2024 - Python
Intention-aware control using stochastic expansion methods
formal-methods
model-predictive-control
polynomial-chaos-expansion
signal-temporal-logic
formal-methods-in-robotics-and-automation
-
Updated
Sep 7, 2024 - Python
Improve this page
Add a description, image, and links to the formal-methods-in-robotics-and-automation topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the formal-methods-in-robotics-and-automation topic, visit your repo's landing page and select "manage topics."