Alternatives and similar repositories for rainbow

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

• prismmodelchecker / prism-games
  The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
  ☆29Updated 3 months ago
• se-sic / SPLConqueror
  SPL Conqueror is a library to learn the influence of configuration options of configurable software systems on non-functional properties.
  ☆24Updated last year
• decyphir / breach
  ☆60Updated last year
• mvcisback / py-metric-temporal-logic
  Python library for working with Metric Temporal Logic (MTL)
  ☆101Updated 2 years ago
• PoPGRI / Race
  Repository for the GRAIC synthesis competition
  ☆23Updated last year
• whitemech / lydia
  A tool for LDLf translation to DFA and for LDLf synthesis.
  ☆23Updated 2 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆152Updated last week
• tulip-control / tulip-control
  Temporal Logic Planning toolbox
  ☆120Updated 4 months ago
• cps-sei / swim
  SWIM - A Simulator of Web Infrastructure and Management
  ☆17Updated 3 years ago
• nickovic / rtamt
  Specification-based real-time monitoring library
  ☆66Updated 3 months ago
• cpslab-asu / psy-taliro
  Search-based test generation toolbox written in Python
  ☆14Updated 7 months ago
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆218Updated 2 months ago
• BerkeleyLearnVerify / VerifAI
  VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learnin…
  ☆200Updated last week
• sbft-cps-tool-competition / cps-tool-competition
  The repository hosts the code for the SBFT CPS Tool competition for testing autonomous cars.
  ☆17Updated 10 months ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆97Updated last month
• ssanner / rddlsim
  Automatically exported from code.google.com/p/rddlsim
  ☆55Updated last year
• ivan-gavran / samples2LTL
  A tool for obtaining LTL formulas from a sample of positive and negative words.
  ☆25Updated 3 years ago
• JmfanBU / ReachNNStar
  Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)
  ☆17Updated 2 years ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆178Updated last week
• natasha-jeppu / Trace2Model
  Learning Concise Models from Long Execution Traces
  ☆13Updated 3 years ago
• souradeep-111 / sherlock
  Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.
  ☆30Updated 5 years ago
• IBM / vsrl-framework
  The Verifiably Safe Reinforcement Learning Framework
  ☆57Updated 4 years ago
• cmu-rss-lab / rosdiscover
  ☆17Updated last year
• ZikangXiong / VRL_CodeReview
  [PLDI 19'] An Inductive Synthesis Framework for Verifiable Reinforcement Learning
  ☆14Updated 5 years ago
• AI-Planning / planutils
  General library for setting up linux-based environments for developing, running, and evaluating planners.
  ☆127Updated last month
• susmitjha / TeLEX
  Temporal Logic Extractor
  ☆11Updated 8 years ago
• VerifiableRobotics / LTLMoP
  A toolkit for designing and implementing LTL-based task specifications.
  ☆57Updated 9 years ago
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆196Updated this week
• NeuralNetworkVerification / Marabou
  ☆296Updated last month
• IBM / nl2ltl
  Natural Language (NL) to Linear Temporal Logic (LTL)
  ☆84Updated 3 weeks ago