Alternatives and similar repositories for stljax

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

• StanfordASL / stlcg
  ☆71Updated last year
• ZikangXiong / mobrob
  Mobile Robot Control via Goal-Conditioned Reinforcement Learning
  ☆21Updated last year
• ferreirafabio / mppi_pendulum
  The reimplementation of Model Predictive Path Integral (MPPI) from the paper "Information Theoretic MPC for Model-Based Reinforcement Lea…
  ☆100Updated 2 weeks ago
• MIT-REALM / architect_rss_22
  Automated Robust Co-design for Cyberphysical Systems
  ☆29Updated 2 years ago
• hanyas / trajopt
  A toolbox for trajectory optimization of dynamical systems
  ☆53Updated 3 years ago
• SFU-MARS / optimized_dp
  Optimizing Dynamic Programming-Based Algorithms
  ☆118Updated last week
• vroulet / ilqc
  Iterative Linearized Control Toolbox
  ☆37Updated 11 months ago
• StanfordASL / hj_reachability
  Hamilton-Jacobi reachability analysis in JAX.
  ☆138Updated 8 months ago
• vincekurtz / stlpy
  A python library for control from Signal Temporal Logic (STL) specifications
  ☆46Updated last month
• alperkamil / csrl
  Control Synthesis from Formal Specifications using Reinforcement Learning
  ☆25Updated last month
• SafeRoboticsLab / safety_rl
  ☆24Updated 3 years ago
• TobiaMarcucci / gcspy
  ☆63Updated last week
• mengyuest / TeLoGraF
  [ICML2025] Official codebase for "TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching"
  ☆9Updated last week
• MaxMSun / lqrax
  GPU-friendly, auto-differentiable LQR solver with JAX.
  ☆172Updated last month
• dawsonc / jax_controls_tutorial
  A brief JAX tutorial with examples from control theory
  ☆12Updated 2 years ago
• kevin-tracy / dpax
  Differentiable collision detection for capsules in JAX.
  ☆47Updated last year
• stonkens / cbf_opt
  Toolbox for solving CBFs in Python
  ☆13Updated last year
• martius-lab / iCEM
  improved Cross Entropy Method for trajectory optimization
  ☆78Updated 3 years ago
• smlbansal / deepreach
  ☆73Updated 2 months ago
• rdyro / mpcjax
  A JAX library for Sequential Convex Programming (SCP) Model Predictive Control (MPC) path planning
  ☆25Updated last year
• nphamilton / stl-gym
  A tool for modifying reinforcement learning environments to incorporate Signal Temporal Logic (STL) specifications in the reward function…
  ☆10Updated 2 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…
  ☆70Updated last year
• HJReachability / beacls
  ☆40Updated 2 months ago
• bheijden / rex
  Rex is a JAX-powered framework for sim-to-real robotics.
  ☆39Updated last month
• StanfordASL / neural-network-lyapunov
  Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.
  ☆163Updated last month
• vincekurtz / drax
  Direct Trajectory Optimization in JAX
  ☆22Updated 8 months ago
• MahanFathi / iLQG-MuJoCo
  Iterative LQG for a couple of MuJoCo models
  ☆61Updated 2 years ago
• StanfordASL / LearnedSamplingDistributions
  ☆75Updated 6 years ago
• tseyde / decqn
  ☆36Updated 2 years ago
• UCSD-SASLab / refineCBF
  ☆21Updated last year