Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming.
☆14Jun 28, 2021Updated 5 years ago
Alternatives and similar repositories for DeepSDP
Users that are interested in DeepSDP are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Gradient descent algorithms for LQG control☆14Feb 20, 2022Updated 4 years ago
- Benchmarking Model Predictive Control and Reinforcement Learning Based Control for Legged Robot Locomotion☆11Jun 10, 2025Updated last year
- A white box algorithm that generate adversarial examples according to the gradient☆11May 9, 2020Updated 6 years ago
- Optimal Turn-Right Trajectory using Pontryagin's Maximum Principle.☆12Jul 6, 2023Updated 3 years ago
- 一个基于 Flask 的问卷调查应用。☆11Feb 2, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Tube-Based Zonotopic Data Driven Predictive Control☆12Nov 23, 2022Updated 3 years ago
- ☆33Dec 22, 2024Updated last year
- Model predictive control–based value estimation for efficient reinforcement learning. This repository contains the code for the implement…☆12Nov 6, 2024Updated last year
- ☆11Feb 6, 2017Updated 9 years ago
- Unsupervised single image depth prediction with CNNs☆14Jun 25, 2021Updated 5 years ago
- Matrix Lie group on 2D and 3D, and its application☆13Jun 29, 2020Updated 6 years ago
- Automated filament inking for creating colored filament for multi-color 3D printing.☆12Nov 11, 2022Updated 3 years ago
- Un-official technical documents aimed at helping building Apollo auto-driving system on prototype cars☆10Jul 18, 2020Updated 6 years ago
- Manipulation Demo using mujoco-py☆15Jul 26, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆15Feb 11, 2025Updated last year
- Solving MuJoCo environments with Deep Deterministic Policy Gradients☆14Sep 17, 2018Updated 7 years ago
- Attitude-Gyro bias estimation using matrix Fisher-Gaussian distributions☆13Jan 13, 2021Updated 5 years ago
- ☆17Sep 21, 2016Updated 9 years ago
- Unofficial implementation of the paper: "NeRF-In: Free-Form NeRF Inpainting with RGB-D Priors"☆11Apr 30, 2023Updated 3 years ago
- Python implementation of Sum-of-Squares optimization built on picos☆41Oct 5, 2024Updated last year
- Distribution and filtering on SO(3) x Euclidean space☆13Jun 24, 2022Updated 4 years ago
- ☆18May 14, 2026Updated 3 months ago
- Neural Lyapunov control of unknown nonlinear systems with stability guarantees☆15Mar 30, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- SIMBa☆14Feb 14, 2025Updated last year
- ☆14Apr 16, 2021Updated 5 years ago
- NOCAD - Network based Observability and Controlability Analysis of Dynamical Systems toolbox for MATLAB and Octave☆13Jul 15, 2019Updated 7 years ago
- A Julia package that provides (feedback) particle filters for nonlinear stochastic filtering and data assimilation problems☆12Mar 17, 2023Updated 3 years ago
- ☆13Oct 24, 2018Updated 7 years ago
- A simple online questionnaire survey system☆23Sep 25, 2015Updated 10 years ago
- Sampling-based Reachability Analysis: A Random Set Theory Approach with Adversarial Sampling☆13Jan 4, 2021Updated 5 years ago
- IROS'16/IJRR "Sparse Sensing for Resource-Constrained Depth Reconstruction"☆50Mar 26, 2020Updated 6 years ago
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆181Jun 2, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- [NeurIPS 2022] ASPiRe: Adaptive Skill Priors for Reinforcement Learning☆13Oct 19, 2022Updated 3 years ago
- Agent based simulation framework for validating planners in automated driving synthetic scenarios. This examples demonstrates overtake ma…☆13Nov 26, 2019Updated 6 years ago
- A basic implementation(not official code) of AVP-SLAM(IROS 2020) in simulation. https://arxiv.org/abs/2007.01813☆14Jan 19, 2021Updated 5 years ago
- A CSTR example is used to illustrate the application of LMPC using RNN models to maintain the closed-loop state within the stability regi…☆17Aug 26, 2024Updated last year
- ☆14Jul 19, 2020Updated 6 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 3 years ago
- ☆31May 4, 2020Updated 6 years ago