Alternatives and similar repositories for Verse-library

Users that are interested in Verse-library are comparing it to the libraries listed below

• gtfactslab / IROS2020_LearningBarriers
  Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach
  ☆15Updated 5 years ago
• cwj22 / BeT-AIL
  ☆11Updated last year
• Erikx3 / Lectures-on-Network-Systems
  Scripts for Lectures on Network Systems - Francesco Bullo
  ☆14Updated last year
• MIT-REALM / architect_rss_22
  Automated Robust Co-design for Cyberphysical Systems
  ☆29Updated 2 years ago
• keyshor / spectrl_tool
  Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (ht…
  ☆17Updated 4 years ago
• dhananjaisharma10 / Model-based-Reinforcement-Learning
  Model-based reinforcement learning using CEM, MPC and PETS
  ☆16Updated 5 years ago
• mengyuest / TeLoGraF
  [ICML2025] Official codebase for "TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching"
  ☆9Updated last month
• ZikangXiong / MFNLC
  [IROS 22'] Model-free Neural Lyapunov Control
  ☆23Updated 2 years ago
• tzanis-anevlavis / cis2m
  Controlled Invariant Sets in Two Moves
  ☆13Updated 3 years ago
• anand-bala / signal-temporal-logic
  A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!
  ☆38Updated last year
• rcpsl / SMC-LTL
  SMC-LTL: SMC-Based LTL MultiRobot Motion Planner
  ☆13Updated last year
• vincekurtz / stlpy
  A python library for control from Signal Temporal Logic (STL) specifications
  ☆43Updated 3 years ago
• StanfordASL / Learning-Control-Oriented-Structure
  Code for "Learning Control-Oriented Dynamical Structure from Data" by Spencer M. Richards, Jean-Jacques Slotine, Navid Azizan, and Marco …
  ☆20Updated last year
• UW-CTRL / stljax
  stlcg implemented with jax
  ☆13Updated 3 months ago
• jjshoots / CrazyFlyt
  Crazyflie UAV simulation based on the PyFlyt library
  ☆19Updated last year
• UCSD-SASLab / HopfReachability
  Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…
  ☆18Updated 2 months ago
• arlk / SafeFeedbackMotionPlanning.jl
  Safe Control for Nonlinear Systems
  ☆18Updated 5 years ago
• bassamlab / SigmaRL
  SigmaRL: A Sample-Efficient and Generalizable Multi-Agent Reinforcement Learning Framework for Motion Planning
  ☆57Updated 3 weeks ago
• SafeRoboticsLab / safety_rl
  ☆24Updated 3 years ago
• btnorman / First-Explore
  Repo to reproduce the First-Explore paper results
  ☆37Updated 5 months ago
• ajthor / socks
  Stochastic Optimal Control and Reachability Toolbox Written in Python
  ☆15Updated last year
• changchencc / PlanDQ
  PlanDQ: Hierarchical Plan Orchestration via D-Conductor and Q-Performer
  ☆10Updated 11 months ago
• Lauqz / Drone-Swarm-RL-airsim-sb3
  Training of Drone Swarms using StableBaselines3, PettingZoo, AirSim and UE4
  ☆15Updated 3 weeks ago
• minecraft-saar / autoplanbench
  ☆14Updated 5 months ago
• StanfordASL / RiskAverseTrajOpt
  Risk-averse trajectory optimization
  ☆17Updated last year
• ut-amrl / SocialGym2
  SocialGym 2: A lightweight benchmark and simulator for multi-robot social navigation using ROS and the OpenAI gym.
  ☆60Updated last year
• marcofavorito / pdfa-learning
  Implementation of PDFAs and PDFA learning algorithm.
  ☆11Updated 4 years ago
• MIT-REALM / dgppo
  Official Implementation of ICLR2025 Paper: Songyuan Zhang, Oswin So, Mitchell Black, Chuchu Fan: "Discrete GCBF Proximal Policy Optimizat…
  ☆15Updated 3 weeks ago
• eric-ai-lab / llm_coordination
  Code repository for the NAACL 2025 paper "LLM-Coordination: Evaluating and Analyzing Multi-agent Coordination Abilities in Large Language…
  ☆36Updated 7 months ago
• BurakDmb / quadsim
  QuadSim: A Quadcopter Rotational Dynamics Simulation For Reinforcement Learning Algorithms
  ☆15Updated last year