Alternatives and similar repositories for pacti:

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

• sisl / POMDPModelChecking.jl
  Perform Model Checking and POMDP Planning from LTL specifications using POMDPs.jl
  ☆15Updated 6 months ago
• sisl / Spot.jl
  Julia wrapper for the Spot LTL and automata manipulation library
  ☆17Updated 8 months ago
• gtfactslab / immrax
  Interval Analysis and Mixed Monotone Reachability in JAX
  ☆13Updated 3 weeks ago
• Verisig / verisig
  ☆27Updated 4 months ago
• tulip-control / tulip-control
  Temporal Logic Planning toolbox
  ☆117Updated 2 months ago
• susmitjha / TeLEX
  Temporal Logic Extractor
  ☆11Updated 7 years ago
• slivingston / gr1py
  an enumerative reactive synthesis tool for the GR(1) fragment of LTL
  ☆13Updated 2 months ago
• sisl / SignalTemporalLogic.jl
  Signal temporal logic (STL) formulas and robustness in Julia
  ☆14Updated last month
• sisl / POMDPStressTesting.jl
  Adaptive stress testing of black-box systems within POMDPs.jl
  ☆15Updated last year
• umangm / realsyn
  Automated Controller Synthesis
  ☆15Updated 6 years ago
• stanleybak / hylaa
  Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
  ☆27Updated last year
• JmfanBU / ReachNNStar
  Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)
  ☆17Updated last year
• whitemech / LTLf2DFA
  From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
  ☆69Updated 11 months ago
• sputot / RINO
  Robust INner and Outer approximated reachability analysis
  ☆9Updated last year
• JuliaPlanners / SymbolicPlanners.jl
  Symbolic planners for problems and domains specified in PDDL.
  ☆59Updated 2 months ago
• Shufang-Zhu / Syft
  Synthesizer of LTLf formula
  ☆10Updated last week
• VerifiableRobotics / slugs
  SmalL bUt Complete GROne Synthesizer
  ☆37Updated 5 months ago
• sapotools / sapo
  Reachability analysis and synthesis of parameters for polynomial dynamical systems
  ☆11Updated last year
• JuliaReach / ReachabilityAnalysis.jl
  Computing reachable states of dynamical systems in Julia
  ☆198Updated 2 weeks ago
• baggepinnen / DifferentialDynamicProgramming.jl
  A package for solving Differential Dynamic Programming and trajectory optimization problems.
  ☆76Updated 3 years ago
• hypro / hypro
  HyPro: A C++ state set representation library for the analysis of hybrid systems
  ☆33Updated 2 weeks ago
• blegat / HybridSystems.jl
  Hybrid Systems definitions in Julia
  ☆29Updated 11 months ago
• coco-team / cocoSim2
  Automated Analysis Framework for Simulink/Stateflow
  ☆16Updated last year
• decyphir / breach
  ☆54Updated 8 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆47Updated 3 months ago
• dreal / probreach
  Probabilistic reachability and parameter set synthesis for stochastic hybrid systems
  ☆15Updated last month
• tulip-control / polytope
  Geometric operations on polytopes of any dimension
  ☆77Updated 4 months ago
• RoboticExplorationLab / RobotDynamics.jl
  ☆44Updated 11 months ago
• ACT4E / ACT4E
  Sources for "Applied Category Theory for Engineering"
  ☆27Updated last week
• ivan-gavran / samples2LTL
  A tool for obtaining LTL formulas from a sample of positive and negative words.
  ☆23Updated 2 years ago