Alternatives and similar repositories for Verse-library

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

• rcpsl / SMC-LTL
  SMC-LTL: SMC-Based LTL MultiRobot Motion Planner
  ☆13Updated last year
• 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
• vincekurtz / stlpy
  A python library for control from Signal Temporal Logic (STL) specifications
  ☆41Updated 2 years ago
• MIT-REALM / architect_rss_22
  Automated Robust Co-design for Cyberphysical Systems
  ☆29Updated 2 years ago
• gtfactslab / IROS2020_LearningBarriers
  Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach
  ☆15Updated 5 years ago
• Weixy21 / BarrierNet
  Safe robot learning
  ☆90Updated 5 months ago
• Verified-Intelligence / Lyapunov_Stable_NN_Controllers
  Lyapunov-stable Neural Control for State and Output Feedback
  ☆67Updated 10 months ago
• PoPGRI / Race
  Repository for the GRAIC synthesis competition
  ☆23Updated last year
• arlk / SafeFeedbackMotionPlanning.jl
  Safe Control for Nonlinear Systems
  ☆18Updated 4 years ago
• 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
• keyshor / spectrl_tool
  Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (ht…
  ☆17Updated 4 years ago
• whitemech / LTLf2DFA
  From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
  ☆71Updated last year
• neu-autonomy / nfl_veripy
  Formal Verification of Neural Feedback Loops (NFLs)
  ☆79Updated 8 months ago
• chenxin415 / flowstar
  The latest source code of the tool Flow*
  ☆22Updated 2 years ago
• tzanis-anevlavis / cis2m
  Controlled Invariant Sets in Two Moves
  ☆13Updated 3 years ago
• Erikx3 / Lectures-on-Network-Systems
  Scripts for Lectures on Network Systems - Francesco Bullo
  ☆14Updated last year
• 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
• pacti-org / pacti
  A package for compositional system analysis and design
  ☆22Updated last month
• StanfordASL / RiskAverseTrajOpt
  Risk-averse trajectory optimization
  ☆17Updated last year
• StanfordASL / stlcg
  ☆68Updated last year
• MIT-REALM / gcbfplus
  Jax Official Implementation of T-RO Paper: Songyuan Zhang*, Oswin So*, Kunal Garg, Chuchu Fan: "GCBF+: A Neural Graph Control Barrier Fun…
  ☆75Updated 2 weeks ago
• ZikangXiong / MFNLC
  [IROS 22'] Model-free Neural Lyapunov Control
  ☆23Updated 2 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…
  ☆64Updated last year
• oxford-oxcav / fossil
  ☆20Updated 4 months ago
• ajthor / socks
  Stochastic Optimal Control and Reachability Toolbox Written in Python
  ☆14Updated last year
• xiang-yin / DPO-SYNT
  DPO-SYNT: Discrete Control Synthesis for Partially-Observed Systems
  ☆11Updated 6 years ago
• StanfordASL / Adaptive-Control-Oriented-Meta-Learning
  Adaptive control-oriented meta-learning for nonlinear systems
  ☆62Updated 3 years ago
• sundw2014 / STLPlanning
  Path planning from STL (Signal Temporal Logic) specifications
  ☆54Updated 2 years ago
• StanfordASL / neural-network-lyapunov
  Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.
  ☆157Updated last week
• shaoanlu / awesome-control-engineering-online-materials
  A collection of free online materials for control engineering
  ☆19Updated 3 months ago