Alternatives and similar repositories for stljax

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

• StanfordASL / stlcg
  ☆76Updated last year
• vroulet / ilqc
  Iterative Linearized Control Toolbox
  ☆38Updated last year
• stonkens / cbf_opt
  Toolbox for solving CBFs in Python
  ☆13Updated last year
• MIT-REALM / architect_rss_22
  Automated Robust Co-design for Cyberphysical Systems
  ☆31Updated 2 years ago
• SafeRoboticsLab / safety_rl
  ☆24Updated 3 years ago
• StanfordASL / stlhj
  Code for “Signal Temporal Logic meets Hamilton-Jacobi Reachability: Connections and Applications” by Mo Chen, Qizhan Tam, Scott C. Living…
  ☆15Updated 7 years ago
• hanyas / trajopt
  A toolbox for trajectory optimization of dynamical systems
  ☆54Updated 3 years ago
• unstable-zeros / learning-cbfs
  Code needed to reproduce the examples found in "Learning Control Barrier Functions from Expert Demonstrations," by A. Robey, H. Hu, L. Li…
  ☆73Updated 2 years ago
• StanfordASL / AA203-Homework
  Starter code accompanying homework assignments from AA203: Optimal and Learning-Based Control.
  ☆27Updated 6 months ago
• vincekurtz / stlpy
  A python library for control from Signal Temporal Logic (STL) specifications
  ☆52Updated 5 months ago
• ferreirafabio / mppi_pendulum
  The reimplementation of Model Predictive Path Integral (MPPI) from the paper "Information Theoretic MPC for Model-Based Reinforcement Lea…
  ☆104Updated 4 months ago
• UCSD-SASLab / HopfReachability
  Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…
  ☆21Updated 3 months ago
• lubaroli / dust
  This is the code repository for the DuSt-MPC paper, published at Robotics: Science and Systems (RSS) 2021.
  ☆28Updated 4 years ago
• HJReachability / safety_rl
  ☆30Updated 4 years ago
• mit-ll-trusted-autonomy / cbfToolbox
  A Python package to make implementing control barrier functions (CBFs) and control Lyapunov functions (CLFs) simple.
  ☆20Updated last year
• rdyro / mpcjax
  A JAX library for Sequential Convex Programming (SCP) Model Predictive Control (MPC) path planning
  ☆37Updated last year
• vvrs / MPPIController
  Robot Controls Course Project
  ☆62Updated 4 years ago
• cisimon7 / VQOptMain
  ☆15Updated 10 months ago
• HJReachability / beacls
  ☆42Updated 6 months ago
• alperkamil / csrl
  Control Synthesis from Formal Specifications using Reinforcement Learning
  ☆24Updated 3 months ago
• RoboticExplorationLab / Algames.jl
  ALGAMES: Game Theoretic Solver for Trajectory Optimization
  ☆116Updated 2 years ago
• smlbansal / deepreach
  ☆81Updated 7 months ago
• nphamilton / stl-gym
  A tool for modifying reinforcement learning environments to incorporate Signal Temporal Logic (STL) specifications in the reward function…
  ☆11Updated 2 years ago
• StanfordASL / hj_reachability
  Hamilton-Jacobi reachability analysis in JAX.
  ☆157Updated last year
• yotakayama / STLCCP
  An Efficient Convex Optimization-based Framework for Signal Temporal Logic (STL) Specifications
  ☆16Updated 2 years ago
• xinjie-liu / DifferentiableAdaptiveGames.jl
  RA-L 2023: Learning to Play Trajectory Games Against Opponents with Unknown Objectives: A differentiable adaptive game-theoretic planner …
  ☆25Updated last year
• bardhh / cbfkit
  Toolbox for Robotics Control
  ☆77Updated last week
• sliu2019 / input_limit_cbf
  ☆17Updated 3 years ago
• thowell / optimization_dynamics
  Implementation and examples from Trajectory Optimization with Optimization-Based Dynamics https://arxiv.org/abs/2109.04928
  ☆65Updated 2 years ago
• SFU-MARS / optimized_dp
  Optimizing Dynamic Programming-Based Algorithms
  ☆126Updated 2 months ago