AutoVerse-ai / Verse-library
Library for modeling, simulation, and verification of interacting autonomous agents
☆32Updated this week
Alternatives and similar repositories for Verse-library:
Users that are interested in Verse-library are comparing it to the libraries listed below
- Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach☆15Updated 5 years ago
- Controlled Invariant Sets in Two Moves☆13Updated 3 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
- A collection of free online materials for control engineering☆18Updated 2 months ago
- Automated Robust Co-design for Cyberphysical Systems☆29Updated 2 years ago
- SMC-LTL: SMC-Based LTL MultiRobot Motion Planner☆13Updated last year
- Research quadrotor platform (software & hardware) developed at Stanford Multi-Robot Systems Lab☆23Updated 4 years ago
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆18Updated last month
- A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!☆38Updated last year
- Stochastic Sequential Action Control for Continuous-Time Belief Space Planning in Julia☆15Updated 2 years ago
- Scripts for Lectures on Network Systems - Francesco Bullo☆14Updated last year
- ☆20Updated last year
- Safe Control for Nonlinear Systems☆18Updated 4 years ago
- [IROS 22'] Model-free Neural Lyapunov Control☆22Updated 2 years ago
- Crazyflie UAV simulation based on the PyFlyt library☆19Updated last year
- Repository for the GRAIC synthesis competition☆23Updated last year
- Risk-averse trajectory optimization☆17Updated last year
- QuadSim: A Quadcopter Rotational Dynamics Simulation For Reinforcement Learning Algorithms☆14Updated last year
- Adaptive control-oriented meta-learning for nonlinear systems☆62Updated 3 years ago
- A python library for control from Signal Temporal Logic (STL) specifications☆41Updated 2 years ago
- Safe robot learning☆88Updated 5 months ago
- pycvxset is a Python package for manipulation and visualization of convex sets.☆30Updated last month
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆18Updated 7 months ago
- ☆36Updated 2 years ago
- Safe guaranteed exploration for non-linear systems☆16Updated last year
- Multi-agent coordination using game theory and nonlinear opinion dynamics - CDC 2023☆12Updated last year
- Planning with inferred internal states of other players in general-sum differential games.☆15Updated 2 years ago
- Cooperative object transport using multiple quadrotors without communication☆18Updated 6 years ago
- DPO-SYNT: Discrete Control Synthesis for Partially-Observed Systems☆11Updated 6 years ago
- Formal Verification of Neural Feedback Loops (NFLs)☆79Updated 7 months ago