Alternatives and similar repositories for probreach

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

• Verisig / verisig
  ☆27Updated 11 months ago
• spot-toolbox / spotless
  A fork of the Systems Polynomial Optimization Toolbox.
  ☆31Updated 6 years ago
• oxfordcontrol / SOSADMM
  An open source first-order MATLAB solver for conic programs with row sparsity.
  ☆11Updated 8 years ago
• baggepinnen / DifferentialDynamicProgramming.jl
  A package for solving Differential Dynamic Programming and trajectory optimization problems.
  ☆78Updated 4 years ago
• tulip-control / tulip-control
  Temporal Logic Planning toolbox
  ☆120Updated 3 months ago
• ferreau / mpcBenchmarking
  Open collection of model predictive control (MPC) benchmarking problems
  ☆26Updated last year
• tzanis-anevlavis / cis2m
  Controlled Invariant Sets in Two Moves
  ☆13Updated 3 years ago
• TUMcps / CORA
  A Tool for Continuous Reachability Analysis.
  ☆133Updated 2 months ago
• TUMcps / AROC
  Toolbox for Automated Controller Synthesis
  ☆17Updated last year
• adbuerger / pycombina
  pycombina - Solving binary approximation problems in Python
  ☆22Updated last year
• sadraddini / pypolycontain
  A Toolbox For Polytopic Objects, Operations, and Containment Problems
  ☆24Updated 7 months ago
• oxfordcontrol / SOSTOOLS
  A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs
  ☆68Updated 2 months ago
• osqp / osqp-matlab
  Matlab interface for OSQP
  ☆50Updated 2 months ago
• embotech / ecos-python
  Python interface for ECOS
  ☆60Updated last year
• learning-and-control / core
  Python simulation and hardware library for learning and control
  ☆20Updated 2 years ago
• sqlp / sdpt3
  SDPT3: MATLAB/Octave software for semidefinite-quadratic-linear programming
  ☆111Updated last year
• Eric-Bradford / UKF-SNMPC
  This repository contains the source code for “Unscented Kalman filter stochastic nonlinear model predictive control” (UKF-SNMPC).
  ☆59Updated 2 years ago
• gtfactslab / immrax
  Interval Analysis and Mixed Monotone Reachability in JAX
  ☆14Updated 2 weeks ago
• lassepe / GameInference.jl
  Planning with inferred internal states of other players in general-sum differential games.
  ☆15Updated 3 years ago
• donken / NeuralOC
  A Neural Network Approach for Real-Time High-Dimensional Optimal Control
  ☆27Updated 2 years ago
• rcpsl / SMC-LTL
  SMC-LTL: SMC-Based LTL MultiRobot Motion Planner
  ☆14Updated 2 years ago
• anqif / chancecons
  Chance constraints in CVXPY
  ☆19Updated 6 years ago
• susmitjha / TeLEX
  Temporal Logic Extractor
  ☆11Updated 8 years ago
• shih-hao-tseng / SLSpy
  SLSpy provides a Python-based framework to design and simulate model-based control systems, especially for system level synthesis (SLS) m…
  ☆17Updated 2 years ago
• sisl / POMDPModelChecking.jl
  Perform Model Checking and POMDP Planning from LTL specifications using POMDPs.jl
  ☆15Updated last year
• giaf / hpmpc
  Library for High-Performance implementation of solvers for MPC.
  ☆58Updated 2 months ago
• cvxgrp / cocp
  Source code for the examples accompanying the paper "Learning convex optimization control policies."
  ☆84Updated 2 years ago
• neu-autonomy / nfl_veripy
  Formal Verification of Neural Feedback Loops (NFLs)
  ☆80Updated 11 months ago
• UW-ACL / pipg-demo
  Demonstration of the PIPG algorithm for trajectory optimization
  ☆24Updated 3 years ago
• osqp / miosqp
  MIQP solver based on OSQP
  ☆104Updated last year