Alternatives and similar repositories for cis2m

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

• TUMcps / AROC
  Toolbox for Automated Controller Synthesis
  ☆17Updated last year
• rcpsl / SMC-LTL
  SMC-LTL: SMC-Based LTL MultiRobot Motion Planner
  ☆14Updated last year
• neu-autonomy / nfl_veripy
  Formal Verification of Neural Feedback Loops (NFLs)
  ☆79Updated 10 months ago
• sreachtools / SReachTools
  MATLAB toolbox for stochastic reachability (probabilistic verification and controller synthesis)
  ☆12Updated 4 years ago
• StanfordMSL / msl_quad
  Research quadrotor platform (software & hardware) developed at Stanford Multi-Robot Systems Lab
  ☆24Updated 4 years ago
• lassepe / GameInference.jl
  Planning with inferred internal states of other players in general-sum differential games.
  ☆15Updated 3 years ago
• mhmukadam / dgpmp2
  Differentiable Gaussian Process Motion Planning
  ☆51Updated 3 years ago
• simon-lc / AlgamesDriving.jl
  A set of tools to quickly generate and visualize autonomous driving scenarios for Algames.jl.
  ☆29Updated 3 years ago
• PhilippeW83440 / MCTS-NNET
  Monte Carlo Tree Search with Reinforcement Learning for Motion Planning
  ☆78Updated 4 years ago
• gtfactslab / IROS2020_LearningBarriers
  Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach
  ☆15Updated 5 years ago
• StanfordASL / AA203-Homework
  Starter code accompanying homework assignments from AA203: Optimal and Learning-Based Control.
  ☆25Updated last month
• RoboticExplorationLab / Algames.jl
  ALGAMES: Game Theoretic Solver for Trajectory Optimization
  ☆112Updated last year
• BerkeleyAutomation / rlqp
  Accelerating Quadratic Optimization with Reinforcement Learning
  ☆91Updated 3 years ago
• murrayrm / fbs2e-python
  FBS2e examples in Python
  ☆27Updated 7 months ago
• TUMcps / CORA
  A Tool for Continuous Reachability Analysis.
  ☆128Updated last month
• StanfordASL / Adaptive-Control-Oriented-Meta-Learning
  Adaptive control-oriented meta-learning for nonlinear systems
  ☆64Updated 4 years ago
• acxz / mppi
  A simple and extensible Octave/Matlab library for Model Predictive Path Integral control scheme.
  ☆16Updated 5 years ago
• dreal / probreach
  Probabilistic reachability and parameter set synthesis for stochastic hybrid systems
  ☆17Updated 6 months ago
• giaf / hpmpc
  Library for High-Performance implementation of solvers for MPC.
  ☆57Updated 3 weeks ago
• mez / model_predictive_controller_cpp
  This is MPC (model predictive controller) that can predict steering and throttle to drive in a simulator.
  ☆18Updated 8 years ago
• StanfordMSL / SACBP.jl
  Stochastic Sequential Action Control for Continuous-Time Belief Space Planning in Julia
  ☆15Updated 3 years ago
• StanfordASL / AA203-Examples
  Examples shown in class and recitation from AA203: Optimal and Learning-Based Control.
  ☆51Updated 2 months ago
• Verisig / verisig
  ☆27Updated 9 months ago
• ASAG-ISCAS / PyBDR
  Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python
  ☆17Updated 3 months ago
• osqp / osqp-matlab
  Matlab interface for OSQP
  ☆50Updated last month
• 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
• i-abr / rt_ergodic_control
  Real-Time Ergodic Control
  ☆22Updated 4 years ago
• StanfordASL / Pigeon.jl
  MPC trajectory tracking + reachability-based collision avoidance for pairwise vehicle interactions
  ☆19Updated 5 years ago
• HarvardAgileRoboticsLab / unscented-dynamic-programming
  A trajectory optimization algorithm that doesn't require dynamics derivatives
  ☆36Updated 8 years ago
• arlk / SafeFeedbackMotionPlanning.jl
  Safe Control for Nonlinear Systems
  ☆18Updated 5 years ago