Alternatives and similar repositories for pacti:

Users that are interested in pacti are comparing it to the libraries listed below

• sisl / Spot.jl
  Julia wrapper for the Spot LTL and automata manipulation library
  ☆17Updated 7 months ago
• sisl / POMDPModelChecking.jl
  Perform Model Checking and POMDP Planning from LTL specifications using POMDPs.jl
  ☆15Updated 5 months ago
• gtfactslab / immrax
  Interval Analysis and Mixed Monotone Reachability in JAX
  ☆13Updated last week
• sisl / SignalTemporalLogic.jl
  Signal temporal logic (STL) formulas and robustness in Julia
  ☆13Updated this week
• slivingston / gr1py
  an enumerative reactive synthesis tool for the GR(1) fragment of LTL
  ☆13Updated last month
• AutoVerse-ai / Verse-library
  Library for modeling, simulation, and verification of interacting autonomous agents
  ☆30Updated this week
• RoboticExplorationLab / RobotDynamics.jl
  ☆44Updated 9 months ago
• sisl / POMDPStressTesting.jl
  Adaptive stress testing of black-box systems within POMDPs.jl
  ☆15Updated 11 months ago
• JuliaPlanners / SymbolicPlanners.jl
  Symbolic planners for problems and domains specified in PDDL.
  ☆59Updated last month
• dionysos-dev / Dionysos.jl
  ☆46Updated this week
• blegat / HybridSystems.jl
  Hybrid Systems definitions in Julia
  ☆29Updated 10 months ago
• JuliaPlanners / PDDL.jl
  Julia parser, interpreter and compiler interface for the Planning Domain Definition Language (PDDL). Planners not included.
  ☆82Updated 4 months ago
• JuliaReach / ClosedLoopReachability.jl
  Reachability analysis for closed-loop control systems in Julia
  ☆44Updated last month
• Verisig / verisig
  ☆27Updated 3 months ago
• JuliaReach / ReachabilityAnalysis.jl
  Computing reachable states of dynamical systems in Julia
  ☆197Updated this week
• sisl / VerticalCAS
  ☆10Updated 4 years ago
• JmfanBU / ReachNNStar
  Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)
  ☆17Updated last year
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• susmitjha / TeLEX
  Temporal Logic Extractor
  ☆11Updated 7 years ago
• ACT4E / ACT4E
  Sources for "Applied Category Theory for Engineering"
  ☆27Updated 2 weeks ago
• hypro / hypro
  HyPro: A C++ state set representation library for the analysis of hybrid systems
  ☆31Updated 4 months ago
• sadraddini / pypolycontain
  A Toolbox For Polytopic Objects, Operations, and Containment Problems
  ☆21Updated 2 weeks ago
• sputot / RINO
  Robust INner and Outer approximated reachability analysis
  ☆9Updated 10 months ago
• VerifiableRobotics / slugs
  SmalL bUt Complete GROne Synthesizer
  ☆37Updated 4 months ago
• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆156Updated 7 months ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆42Updated 7 months ago
• CU-ADCL / CU-DMU-Materials
  ☆56Updated this week
• coco-team / cocoSim2
  Automated Analysis Framework for Simulink/Stateflow
  ☆15Updated last year
• tulip-control / polytope
  Geometric operations on polytopes of any dimension
  ☆77Updated 3 months ago
• blegat / SwitchOnSafety.jl
  Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming
  ☆22Updated 5 months ago