AutoVerse-ai / Verse-libraryLinks
Library for modeling, simulation, and verification of interacting autonomous agents
☆33Updated 3 weeks ago
Alternatives and similar repositories for Verse-library
Users that are interested in Verse-library are comparing it to the libraries listed below
Sorting:
- A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!☆38Updated last year
- Automated Robust Co-design for Cyberphysical Systems☆29Updated 2 years ago
- SMC-LTL: SMC-Based LTL MultiRobot Motion Planner☆14Updated last year
- A collection of free online materials for control engineering☆19Updated 4 months ago
- Risk-averse trajectory optimization☆18Updated last year
- ☆21Updated last year
- Code for "Learning Control-Oriented Dynamical Structure from Data" by Spencer M. Richards, Jean-Jacques Slotine, Navid Azizan, and Marco …☆20Updated last year
- Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach☆15Updated 5 years ago
- A python library for control from Signal Temporal Logic (STL) specifications☆44Updated 2 weeks ago
- Safe robot learning☆91Updated 7 months ago
- ☆69Updated last year
- Controlled Invariant Sets in Two Moves☆13Updated 3 years ago
- Formal Verification of Neural Feedback Loops (NFLs)☆79Updated 9 months ago
- Stochastic Sequential Action Control for Continuous-Time Belief Space Planning in Julia☆15Updated 3 years ago
- Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (ht…☆17Updated 4 years ago
- ☆17Updated 3 years ago
- From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)☆72Updated last year
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆18Updated 3 months ago
- The latest source code of the tool Flow*☆23Updated 2 years ago
- Safe Control for Nonlinear Systems☆18Updated 5 years ago
- [IROS 22'] Model-free Neural Lyapunov Control☆23Updated 2 years ago
- Stochastic Optimal Control and Reachability Toolbox Written in Python☆15Updated last year
- stlcg implemented with jax☆14Updated 4 months ago
- Scripts for Lectures on Network Systems - Francesco Bullo☆14Updated last year
- Path planning from STL (Signal Temporal Logic) specifications☆55Updated 2 years ago
- Repository associated with paper titled "AMSwarm: An Alternating Minimization Approach for Safe Motion Planning of Quadrotor Swarms in Cl…☆44Updated last year
- ☆10Updated 4 years ago
- Official Implementation of ICLR2025 Paper: Songyuan Zhang, Oswin So, Mitchell Black, Chuchu Fan: "Discrete GCBF Proximal Policy Optimizat…☆16Updated last month
- Lyapunov-stable Neural Control for State and Output Feedback☆69Updated 11 months ago
- Temporal Logic Extractor☆11Updated 8 years ago