AutoVerse-ai / Verse-library
Library for modeling, simulation, and verification of interacting autonomous agents
☆33Updated last week
Alternatives and similar repositories for Verse-library:
Users that are interested in Verse-library are comparing it to the libraries listed below
- Risk-averse trajectory optimization☆16Updated last year
- SMC-LTL: SMC-Based LTL MultiRobot Motion Planner☆13Updated last year
- [IROS 22'] Model-free Neural Lyapunov Control☆22Updated 2 years ago
- Automated Robust Co-design for Cyberphysical Systems☆29Updated 2 years ago
- Code for "Learning Control-Oriented Dynamical Structure from Data" by Spencer M. Richards, Jean-Jacques Slotine, Navid Azizan, and Marco …☆20Updated last year
- Controlled Invariant Sets in Two Moves☆13Updated 3 years ago
- Safe robot learning☆87Updated 4 months ago
- Stochastic Sequential Action Control for Continuous-Time Belief Space Planning in Julia☆15Updated 2 years ago
- Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach☆15Updated 5 years ago
- OpenAI gym Environments for Quadrotor Control☆16Updated 6 years ago
- Safe Control for Nonlinear Systems☆18Updated 4 years ago
- Multi-agent coordination using game theory and nonlinear opinion dynamics - CDC 2023☆11Updated last year
- SocialGym 2: A lightweight benchmark and simulator for multi-robot social navigation using ROS and the OpenAI gym.☆58Updated 11 months ago
- ☆20Updated 11 months ago
- Crazyflie UAV simulation based on the PyFlyt library☆19Updated last year
- Scripts for Lectures on Network Systems - Francesco Bullo☆13Updated last year
- This project implements various multi-agent coordination techniques.☆23Updated 3 weeks ago
- Driving games common tools☆29Updated last month
- The latest source code of the tool Flow*☆22Updated 2 years ago
- Differentiable Gaussian Process Motion Planning☆48Updated 3 years ago
- Safe guaranteed exploration for non-linear systems☆15Updated last year
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆18Updated 2 weeks ago
- Lyapunov-stable Neural Control for State and Output Feedback☆67Updated 8 months ago
- Planning with inferred internal states of other players in general-sum differential games.☆15Updated 2 years ago
- Formal Verification of Neural Feedback Loops (NFLs)☆79Updated 6 months ago
- Safe Pontryagin Differentiable Programming (Safe PDP) is a new theoretical and algorithmic safe differentiable framework to solve a broad…☆70Updated 2 years ago
- Jax version of F16 dynamics☆19Updated 7 months ago
- ☆24Updated 2 months ago
- Benchmarks for Multi-Objective Multi-Agent Decision Making☆85Updated 2 weeks ago
- A python library for control from Signal Temporal Logic (STL) specifications☆41Updated 2 years ago