pacti-org / pacti
A package for compositional system analysis and design
☆19Updated last month
Related projects ⓘ
Alternatives and complementary repositories for pacti
- Julia wrapper for the Spot LTL and automata manipulation library☆17Updated 5 months ago
- Perform Model Checking and POMDP Planning from LTL specifications using POMDPs.jl☆15Updated 3 months ago
- an enumerative reactive synthesis tool for the GR(1) fragment of LTL☆13Updated last month
- Adaptive stress testing of black-box systems within POMDPs.jl☆14Updated 9 months ago
- Symbolic planners for problems and domains specified in PDDL.☆59Updated 2 months ago
- Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming☆22Updated 3 months ago
- Hybrid Systems definitions in Julia☆29Updated 8 months ago
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆27Updated last year
- Interval Analysis and Mixed Monotone Reachability in JAX☆12Updated last week
- Computing reachable states of dynamical systems in Julia☆192Updated this week
- Temporal Logic Extractor☆11Updated 7 years ago
- ☆43Updated 8 months ago
- Reachability analysis for closed-loop control systems in Julia☆44Updated this week
- A package for solving Differential Dynamic Programming and trajectory optimization problems.☆75Updated 3 years ago
- Convex optimization modeling in Lean 4☆41Updated 5 months ago
- ☆49Updated 3 months ago
- a little library to help me with things involving Koopman operators☆11Updated 2 years ago
- Temporal Logic Planning toolbox☆112Updated last month
- Library for modeling, simulation, and verification of interacting autonomous agents☆29Updated last month
- A gallery of POMDPs.jl problems☆48Updated 2 months ago
- Synthesizer of LTLf formula☆9Updated last year
- Belief-state planning for POMDPs using learned approximations☆20Updated 5 months ago
- ☆43Updated this week
- Geometric operations on polytopes of any dimension☆74Updated last month
- provides a Julia wrapper for the PATH Solver for solving mixed complementarity problems☆51Updated last month
- ☆25Updated 8 months ago
- Julia parser, interpreter and compiler interface for the Planning Domain Definition Language (PDDL). Planners not included.☆81Updated 2 months ago
- SwitchTimeOpt.jl - Switching Time Optimization in Julia☆15Updated 7 months ago
- Computing mixed-strategy Nash Equilibria for games involving multiple players☆22Updated 9 months ago
- Julia interface to CasADi via PyCall☆27Updated 3 years ago