Alternatives and similar repositories for cis2m

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

• rcpsl / SMC-LTL
  SMC-LTL: SMC-Based LTL MultiRobot Motion Planner
  ☆14Updated 2 years ago
• neu-autonomy / nfl_veripy
  Formal Verification of Neural Feedback Loops (NFLs)
  ☆81Updated last year
• TUMcps / AROC
  Toolbox for Automated Controller Synthesis
  ☆17Updated last year
• acxz / mppi
  A simple and extensible Octave/Matlab library for Model Predictive Path Integral control scheme.
  ☆18Updated 5 years ago
• arlk / SafeFeedbackMotionPlanning.jl
  Safe Control for Nonlinear Systems
  ☆18Updated 5 years ago
• AdaCompNUS / sarsop
  Efficient Point-Based POMDP Planning by Approximating
  ☆91Updated 5 years ago
• SafeRoboticsLab / opinion_game
  Multi-agent coordination using game theory and nonlinear opinion dynamics - CDC 2023
  ☆14Updated 2 years ago
• osqp / osqp-matlab
  Matlab interface for OSQP
  ☆52Updated last month
• HarvardAgileRoboticsLab / unscented-dynamic-programming
  A trajectory optimization algorithm that doesn't require dynamics derivatives
  ☆36Updated 8 years ago
• PhilippeW83440 / MCTS-NNET
  Monte Carlo Tree Search with Reinforcement Learning for Motion Planning
  ☆82Updated 5 years ago
• Weizhe-Chen / ParetoMCTS
  Python demo for the paper "Pareto Monte Carlo Tree Search for Multi-Objective Informative Planning".
  ☆34Updated 3 years ago
• APLA-Toolbox / pymapf
  📍🗺️ A Python library for Multi-Agents Planning and Pathfinding (Centralized and Decentralized)
  ☆74Updated last week
• sreachtools / SReachTools
  MATLAB toolbox for stochastic reachability (probabilistic verification and controller synthesis)
  ☆12Updated 5 years ago
• mhmukadam / dgpmp2
  Differentiable Gaussian Process Motion Planning
  ☆51Updated 4 years ago
• jasour / rarnop19
  MIT 16.S498 Graduate Course: Risk Aware and Robust Nonlinear Planning (rarnop) by Ashkan Jasour
  ☆64Updated 7 months ago
• StanfordASL / stlcg
  ☆75Updated last year
• williamedwards / autompc
  Automatic Tuning for Data-driven Model Predictive Control
  ☆70Updated 2 years ago
• vvanirudh / TRON
  A Fast Solver for Trajectory Optimization with Non-Smooth Cost Functions
  ☆22Updated 4 years ago
• StanfordASL / RiskAverseTrajOpt
  Risk-averse trajectory optimization
  ☆20Updated 2 years ago
• simon-lc / AlgamesDriving.jl
  A set of tools to quickly generate and visualize autonomous driving scenarios for Algames.jl.
  ☆30Updated 4 years ago
• StanfordASL / safe_traffic_weaving
  On Infusing Reachability-Based Safety Assurance within Probabilistic Planning Frameworks for Human-Robot Vehicle Interactions
  ☆17Updated 5 years ago
• RoboticExplorationLab / Algames.jl
  ALGAMES: Game Theoretic Solver for Trajectory Optimization
  ☆116Updated 2 years ago
• ajthor / socks
  Stochastic Optimal Control and Reachability Toolbox Written in Python
  ☆15Updated 2 years ago
• bark-simulator / planner-rules-mcts
  Behavior planner fusing runtime verification on traffic rules with single- and multi-agent Monte Carlo Tree Search
  ☆10Updated 4 years ago
• vivek-uka / Batch-Opt-Highway-Driving
  Repo associated with IEEE Robotics and Automation Letters publication titled "Multi-Modal Model Predictive Control through batch non-holo…
  ☆36Updated 3 years ago
• ossamaAhmed / blackbox_mpc
  Sampling based Model Predictive Control package for Model-Based RL research
  ☆55Updated 5 years ago
• StanfordASL / AA203-Examples
  Examples shown in class and recitation from AA203: Optimal and Learning-Based Control.
  ☆53Updated 7 months ago
• sundw2014 / STLPlanning
  Path planning from STL (Signal Temporal Logic) specifications
  ☆56Updated 3 years ago
• wanxinjin / Safe-PDP
  Safe Pontryagin Differentiable Programming (Safe PDP) is a new theoretical and algorithmic safe differentiable framework to solve a broad…
  ☆71Updated 3 years ago
• xiang-yin / DPO-SYNT
  DPO-SYNT: Discrete Control Synthesis for Partially-Observed Systems
  ☆12Updated 7 years ago