Alternatives and similar repositories for COOL-MC:

Users that are interested in COOL-MC are comparing it to the libraries listed below

• IBM / vsrl-framework
  The Verifiably Safe Reinforcement Learning Framework
  ☆56Updated 3 years ago
• JmfanBU / ReachNNStar
  Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)
  ☆17Updated last year
• safe-rl / safe-rl-shielding
  ☆40Updated 2 years ago
• jinala / multi-agent-neurosym-transformers
  Neurosymbolic transformers for multi-agent communication.
  ☆21Updated 4 years ago
• ivan-gavran / samples2LTL
  A tool for obtaining LTL formulas from a sample of positive and negative words.
  ☆22Updated 2 years ago
• VerifiableRobotics / slugs
  SmalL bUt Complete GROne Synthesizer
  ☆37Updated 5 months ago
• clvrai / leaps
  Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021
  ☆34Updated 2 years ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated 2 months ago
• inpefess / gym-saturation
  a collection of Gymnasium environments for saturation provers
  ☆20Updated 2 weeks ago
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated 4 months ago
• google-research / crossbeam
  ☆43Updated last year
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆72Updated 2 years ago
• randriu / synthesis
  ☆22Updated this week
• eve-mas / eve-parity
  Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…
  ☆19Updated 5 months ago
• yycdavid / program-synthesis-guided-RL
  ☆24Updated 2 years ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆55Updated 3 months ago
• zhangir-azerbayev / mathlib-semantic-search
  ☆14Updated last year
• sisl / VerticalCAS
  ☆10Updated 4 years ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆34Updated last year
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 6 months ago
• BartoszPiotrowski / lean-premise-selection
  ☆21Updated last year
• sisl / HorizontalCAS
  ☆21Updated 3 years ago
• Verisig / verisig
  ☆27Updated 4 months ago
• RodrigoToroIcarte / reward_machines
  ☆64Updated 11 months ago
• whitemech / LTLf2DFA
  From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
  ☆69Updated 10 months ago
• sisl / POMDPModelChecking.jl
  Perform Model Checking and POMDP Planning from LTL specifications using POMDPs.jl
  ☆15Updated 5 months ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆21Updated 9 months ago
• gavlegoat / safe-learning
  ☆18Updated last year
• whitemech / Plan4Past
  Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals
  ☆17Updated 4 months ago