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☆12Jun 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
- 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.
- Tube-Based Zonotopic Data Driven Predictive Control☆12Nov 23, 2022Updated 3 years ago
- ☆34Dec 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆15Feb 11, 2025Updated last year
- Solving MuJoCo environments with Deep Deterministic Policy Gradients☆14Sep 17, 2018Updated 8 years ago
- Attitude-Gyro bias estimation using matrix Fisher-Gaussian distributions☆13Jan 13, 2021Updated 5 years ago
- ☆17Sep 21, 2016Updated 10 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
- ☆18Sep 7, 2026Updated 2 weeks ago
- SIMBa☆15Feb 14, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Neural Lyapunov control of unknown nonlinear systems with stability guarantees☆15Mar 30, 2023Updated 3 years ago
- ☆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☆14Jan 4, 2021Updated 5 years ago
- IROS'16/IJRR "Sparse Sensing for Resource-Constrained Depth Reconstruction"☆50Mar 26, 2020Updated 6 years ago
- [NeurIPS 2022] ASPiRe: Adaptive Skill Priors for Reinforcement Learning☆13Oct 19, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆184Jun 2, 2025Updated last year
- 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 2 years ago
- ☆14Jul 19, 2020Updated 6 years ago
- Verifying encodings into propositional logic in Lean☆15Aug 14, 2023Updated 3 years ago
- ☆31May 4, 2020Updated 6 years ago