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
• MIT-REALM / architect_rss_22
  Automated Robust Co-design for Cyberphysical Systems
  ☆31Updated 3 years ago
• vroulet / ilqc
  Iterative Linearized Control Toolbox
  ☆38Updated last year
• vincekurtz / stlpy
  A python library for control from Signal Temporal Logic (STL) specifications
  ☆52Updated 6 months ago
• hanyas / trajopt
  A toolbox for trajectory optimization of dynamical systems
  ☆54Updated 3 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
• GT-STAR-Lab / JaxRobotarium
  ☆17Updated 5 months ago
• nphamilton / stl-gym
  A tool for modifying reinforcement learning environments to incorporate Signal Temporal Logic (STL) specifications in the reward function…
  ☆12Updated 2 years ago
• HJReachability / safety_rl
  ☆30Updated 4 years ago
• rdyro / mpcjax
  A JAX library for Sequential Convex Programming (SCP) Model Predictive Control (MPC) path planning
  ☆37Updated last year
• ferreirafabio / mppi_pendulum
  The reimplementation of Model Predictive Path Integral (MPPI) from the paper "Information Theoretic MPC for Model-Based Reinforcement Lea…
  ☆104Updated 5 months ago
• vvrs / MPPIController
  Robot Controls Course Project
  ☆62Updated 4 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
• SafeRoboticsLab / safety_rl
  ☆24Updated 3 years ago
• anassinator / pddp
  WIP implementation of Probabilistic Differential Dynamic Programming in PyTorch
  ☆15Updated last year
• jasour / Non-Gaussian_Risk-Bounded_TrajOpt
  Non-Gaussian Risk Bounded Trajectory Optimization for StochasticNonlinear Systems in Uncertain Environments
  ☆33Updated 3 years ago
• StanfordASL / AA203-Homework
  Starter code accompanying homework assignments from AA203: Optimal and Learning-Based Control.
  ☆27Updated 7 months ago
• dawsonc / jax_controls_tutorial
  A brief JAX tutorial with examples from control theory
  ☆12Updated 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
• TobiaMarcucci / gcsopt
  ☆93Updated 2 weeks ago
• cisimon7 / VQOptMain
  ☆15Updated 11 months ago
• stonkens / cbf_opt
  Toolbox for solving CBFs in Python
  ☆13Updated last year
• 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
• bardhh / cbfkit
  Toolbox for Robotics Control
  ☆78Updated 3 weeks ago
• StanfordASL / hj_reachability
  Hamilton-Jacobi reachability analysis in JAX.
  ☆159Updated last year
• yotakayama / STLCCP
  An Efficient Convex Optimization-based Framework for Signal Temporal Logic (STL) Specifications
  ☆16Updated 2 years ago
• ZikangXiong / mobrob
  Mobile Robot Control via Goal-Conditioned Reinforcement Learning
  ☆24Updated 2 years ago
• alperkamil / csrl
  Control Synthesis from Formal Specifications using Reinforcement Learning
  ☆24Updated 4 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
• lassepe / LiftedTrajectoryGames.jl
  A neural network accelerated solver for mixed-strategy solutions of trajectory games. Do you even lift?
  ☆17Updated 6 months ago