Alternatives and similar repositories for probreach:

Users that are interested in probreach are comparing it to the libraries listed below

• spot-toolbox / spotless
  A fork of the Systems Polynomial Optimization Toolbox.
  ☆29Updated 6 years ago
• Verisig / verisig
  ☆27Updated 4 months ago
• baggepinnen / DifferentialDynamicProgramming.jl
  A package for solving Differential Dynamic Programming and trajectory optimization problems.
  ☆76Updated 3 years ago
• learning-and-control / core
  Python simulation and hardware library for learning and control
  ☆20Updated last year
• anqif / chancecons
  Chance constraints in CVXPY
  ☆17Updated 6 years ago
• sputot / RINO
  Robust INner and Outer approximated reachability analysis
  ☆9Updated last year
• PoPGRI / Race
  Repository for the GRAIC synthesis competition
  ☆23Updated last year
• ferreau / mpcBenchmarking
  Open collection of model predictive control (MPC) benchmarking problems
  ☆26Updated last year
• StanfordASL / Pigeon.jl
  MPC trajectory tracking + reachability-based collision avoidance for pairwise vehicle interactions
  ☆18Updated 4 years ago
• sreachtools / SReachTools
  MATLAB toolbox for stochastic reachability (probabilistic verification and controller synthesis)
  ☆12Updated 4 years ago
• tzanis-anevlavis / cis2m
  Controlled Invariant Sets in Two Moves
  ☆13Updated 3 years ago
• osqp / osqp-matlab
  Matlab interface for OSQP
  ☆47Updated 10 months ago
• adbuerger / pycombina
  pycombina - Solving binary approximation problems in Python
  ☆21Updated last year
• UCSD-SASLab / HopfReachability
  Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…
  ☆18Updated 3 months ago
• TUMcps / AROC
  Toolbox for Automated Controller Synthesis
  ☆17Updated last year
• aalanwar / Data-Driven-Reachability-Analysis
  Data Driven Reachability Analysis from Noisy Data
  ☆26Updated 10 months ago
• oxfordcontrol / SOSADMM
  An open source first-order MATLAB solver for conic programs with row sparsity.
  ☆11Updated 7 years ago
• jgeisler0303 / DDP-Generator
  Generate taylored code for Differential Dynamic Programming (DDP) aka Iterative Linear Quadratic Gaussian (iLQG) solvers for finite time …
  ☆15Updated 6 years ago
• HarvardAgileRoboticsLab / unscented-dynamic-programming
  A trajectory optimization algorithm that doesn't require dynamics derivatives
  ☆35Updated 8 years ago
• donken / NeuralOC
  A Neural Network Approach for Real-Time High-Dimensional Optimal Control
  ☆26Updated 2 years ago
• StanfordASL / stochasticSCP
  Sequential Convex Programming For Non-Linear Stochastic Optimal Control
  ☆11Updated 2 years ago
• befelix / lyapunov-learning
  Safe learning of regions of attraction in uncertain, nonlinear systems with Gaussian processes
  ☆38Updated 5 years ago
• UW-ACL / pipg-demo
  Demonstration of the PIPG algorithm for trajectory optimization
  ☆18Updated 2 years ago
• sadraddini / pypolycontain
  A Toolbox For Polytopic Objects, Operations, and Containment Problems
  ☆21Updated last month
• rcpsl / SMC-LTL
  SMC-LTL: SMC-Based LTL MultiRobot Motion Planner
  ☆13Updated last year
• sisl / POMDPModelChecking.jl
  Perform Model Checking and POMDP Planning from LTL specifications using POMDPs.jl
  ☆15Updated 6 months ago
• thowell / IterativeLQR.jl
  A Julia package for constrained iterative LQR (iLQR)
  ☆43Updated last year
• stanleybak / hylaa
  Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
  ☆27Updated last year
• StanfordASL / ccscp
  Chance-Constrained Sequential Convex Programming for Robust Trajectory Optimization
  ☆24Updated 4 years ago
• jfrasch / qpDUNES
  qpDUNES - an implementation of the DUal NEwton Strategy for quadratic programming
  ☆24Updated 8 years ago