sisl / BayesianSafetyValidation.jlLinks
Estimate probability of failure using reframed Bayesian optimization
☆10Updated 5 months ago
Alternatives and similar repositories for BayesianSafetyValidation.jl
Users that are interested in BayesianSafetyValidation.jl are comparing it to the libraries listed below
Sorting:
- Computing mixed-strategy Nash Equilibria for games involving multiple players☆25Updated last year
- Differentiable trajectory optimization in Julia.☆65Updated 2 months ago
- A custom interior point solver for mixed complementarity problems.☆18Updated 2 months ago
- Signal temporal logic (STL) formulas and robustness in Julia☆15Updated last year
- Control barrier functions (CBFs) in Julia.☆14Updated last year
- ☆26Updated last year
- A Julia package for constrained iterative LQR (iLQR)☆44Updated 2 years ago
- A Julia package for constrained trajectory optimization using direct methods.☆29Updated 3 years ago
- Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming☆24Updated last year
- A package for solving Differential Dynamic Programming and trajectory optimization problems.☆77Updated 4 years ago
- Nonlinear Distributionally-Robust MPC via Risk-Sensitive Optimal Control in Julia☆21Updated 4 years ago
- Julia interactive interface for TinyMPC☆11Updated 5 months ago
- ☆48Updated 11 months ago
- Planning with inferred internal states of other players in general-sum differential games.☆17Updated 3 years ago
- ☆63Updated this week
- Rapidly designing and solving differential games in Julia.☆44Updated 2 months ago
- provides a Julia wrapper for the PATH Solver for solving mixed complementarity problems☆57Updated 4 months ago
- Julia interface to CasADi via PyCall☆26Updated 5 years ago
- ☆49Updated 3 months ago
- A Julia implementation of PRONTO☆23Updated 11 months ago
- nonlinear control optimization tool☆115Updated 10 months ago
- MDP and RL interface for PDDL domains via PDDL.jl + POMDPs.jl.☆16Updated last year
- Belief-state planning for POMDPs using learned approximations☆23Updated last year
- Julia wrapper for the Spot LTL and automata manipulation library☆20Updated 2 weeks ago
- Conic Augmented Lagrangian Interior-Point SOlver☆77Updated 3 years ago
- Interface for defining discrete and continuous-space MDPs and POMDPs in python. Compatible with the POMDPs.jl ecosystem.☆24Updated 2 years ago
- Julia bindings and visualiser for the MuJoCo physics engine.☆65Updated 3 weeks ago
- Relational piecewise-linear overapproximations of multi-dimensional functions☆21Updated 4 months ago
- A gallery of POMDPs.jl problems☆48Updated last year
- An open source model predictive control package for Julia.☆112Updated last week