☆11Apr 6, 2023Updated 2 years ago
Alternatives and similar repositories for certrol
Users that are interested in certrol are comparing it to the libraries listed below
Sorting:
- Automated Controller Synthesis☆15Jun 27, 2018Updated 7 years ago
- A pytorch toolbox designed for experimentation using a generalization of the Resnet design.☆15Jul 6, 2023Updated 2 years ago
- Learning Certified Control Using Contraction Metric (CoRL 2020)☆34Dec 12, 2022Updated 3 years ago
- A fork of PegasusSimulator, adding ArduPilot backend support☆14Oct 26, 2024Updated last year
- ☆10Oct 11, 2022Updated 3 years ago
- Utility files to help set up colab for experimentation + development☆14Dec 18, 2019Updated 6 years ago
- ☆16Feb 22, 2022Updated 4 years ago
- ☆32Dec 17, 2025Updated 3 months ago
- Implementations of various random kitchen sinks algorithms.☆14Feb 25, 2020Updated 6 years ago
- Tutorials for py_trees on ros☆16Nov 14, 2025Updated 4 months ago
- An open-source robotics knowledge base and project library for all skill levels. Includes structured lessons, code examples, and system-l…☆18Mar 15, 2026Updated last week
- This repository features Amazon SageMaker Ground Truth and explains how to ingest raw 3D point cloud data, label it, train a 3D object de…☆13Jun 23, 2022Updated 3 years ago
- ☆10Dec 28, 2024Updated last year
- ☆18Jul 21, 2025Updated 8 months ago
- Experiments with Super-Universal Newton method.☆13Aug 12, 2022Updated 3 years ago
- MUI-TARE: Multi-Agent Cooperative Exploration with Unknown Initial Position☆23Sep 23, 2022Updated 3 years ago
- A Multi-modal Large-scale Scene Dataset and A Versatile Toolchain for Scene Prediction☆13Apr 6, 2024Updated last year
- ☆13Jun 6, 2022Updated 3 years ago
- Point Cloud Encoder for Web-Based Streaming☆15Nov 4, 2021Updated 4 years ago
- A multiplayer collaborative canvas for product brainstorming☆43Updated this week
- Learning Control Lyapunov Functions to Stabilize the Trajectories of Dynamical Systems.☆13Aug 15, 2022Updated 3 years ago
- Hessian trace estimation using PyTorch and Hutch++☆20Oct 29, 2020Updated 5 years ago
- Central Grid Path Planning with up to 64 Neighbors☆20May 21, 2024Updated last year
- A clean, extensible toolbox for running experiments on the Crazyflie 2.0 quadrotor.☆18Feb 23, 2024Updated 2 years ago
- A Declarative Language for Expressing Partial World Knowledge to Reinforcement Learning Agents☆17Jan 19, 2024Updated 2 years ago
- SDP Code for Distributionally Robust Optimization Technique☆11Aug 25, 2018Updated 7 years ago
- ☆17Aug 30, 2023Updated 2 years ago
- ☆13Mar 6, 2023Updated 3 years ago
- A python sdk for LLM finetuning and inference on runpod infrastructure☆22Updated this week
- Code for paper Rethinking the Data Annotation Process for Multi-view 3D Pose Estimation with Active Learning and Self-Training☆22Apr 18, 2023Updated 2 years ago
- THE watchface for Fitbit OS☆18Nov 5, 2020Updated 5 years ago
- A TinyStories LM with SAEs and transcoders☆14Apr 3, 2025Updated 11 months ago
- Code needed to reproduce the examples found in "Learning Control Barrier Functions from Expert Demonstrations," by A. Robey, H. Hu, L. Li…☆73Aug 13, 2023Updated 2 years ago
- Automated Robust Co-design for Cyberphysical Systems☆31Dec 17, 2022Updated 3 years ago
- ilpyt: imitation learning library with modular, baseline implementations in Pytorch☆18Oct 25, 2023Updated 2 years ago
- Models and model based control for vehicles on nonplanar surfaces.☆18Mar 22, 2025Updated last year
- ☆20Feb 10, 2021Updated 5 years ago
- Collection of utilities / helper scripts to make life easier on our HPC clusters.☆22Jan 5, 2026Updated 2 months ago
- ☆18Apr 11, 2024Updated last year