Alternatives and similar repositories for probreach

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

• tulip-control / tulip-control
  Temporal Logic Planning toolbox
  ☆120Updated 4 months ago
• Verisig / verisig
  ☆27Updated last year
• stanleybak / hylaa
  Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
  ☆27Updated 2 years ago
• spot-toolbox / spotless
  A fork of the Systems Polynomial Optimization Toolbox.
  ☆31Updated 6 years ago
• baggepinnen / DifferentialDynamicProgramming.jl
  A package for solving Differential Dynamic Programming and trajectory optimization problems.
  ☆78Updated 4 years ago
• ferreau / mpcBenchmarking
  Open collection of model predictive control (MPC) benchmarking problems
  ☆26Updated last year
• sisl / POMDPModelChecking.jl
  Perform Model Checking and POMDP Planning from LTL specifications using POMDPs.jl
  ☆15Updated last year
• oxfordcontrol / SOSADMM
  An open source first-order MATLAB solver for conic programs with row sparsity.
  ☆11Updated 8 years ago
• TUMcps / AROC
  Toolbox for Automated Controller Synthesis
  ☆17Updated last year
• susmitjha / TeLEX
  Temporal Logic Extractor
  ☆11Updated 8 years ago
• sadraddini / pypolycontain
  A Toolbox For Polytopic Objects, Operations, and Containment Problems
  ☆24Updated 9 months ago
• TUMcps / CORA
  A Tool for Continuous Reachability Analysis.
  ☆135Updated 3 weeks ago
• lassepe / GameInference.jl
  Planning with inferred internal states of other players in general-sum differential games.
  ☆15Updated 3 years ago
• oxfordcontrol / SOSTOOLS
  A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs
  ☆69Updated 3 months ago
• djanka2 / blockSQP
  ☆18Updated 9 years ago
• UCSD-SASLab / HopfReachability
  Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…
  ☆20Updated last month
• heirung / pytope
  Minimal package for operations on polytopes, zonotopes, and invariant sets.
  ☆47Updated 4 years ago
• 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
• HarvardAgileRoboticsLab / unscented-dynamic-programming
  A trajectory optimization algorithm that doesn't require dynamics derivatives
  ☆36Updated 8 years ago
• learning-and-control / core
  Python simulation and hardware library for learning and control
  ☆20Updated 2 years ago
• giaf / hpmpc
  Library for High-Performance implementation of solvers for MPC.
  ☆58Updated 3 months ago
• osqp / osqp-matlab
  Matlab interface for OSQP
  ☆50Updated last week
• JuliaGameTheoreticPlanning / iLQGames.jl
  Rapidly designing and solving differential games in Julia.
  ☆40Updated last month
• 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
• rcpsl / SMC-LTL
  SMC-LTL: SMC-Based LTL MultiRobot Motion Planner
  ☆14Updated 2 years ago
• jamesjingqili / FeedbackStackelbergGames.jl
  An efficient solver for nonlinear constrained feedback Stackelberg games
  ☆10Updated 7 months ago
• omega-icl / mcpp
  Library for construction, manipulation and evaluation of factorable functions
  ☆10Updated this week
• aalanwar / Data-Driven-Reachability-Analysis
  Data Driven Reachability Analysis from Noisy Data
  ☆31Updated last year
• StanfordASL / Pigeon.jl
  MPC trajectory tracking + reachability-based collision avoidance for pairwise vehicle interactions
  ☆19Updated 5 years ago
• embotech / ecos-python
  Python interface for ECOS
  ☆60Updated last year