Alternatives and similar repositories for rainbow

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

• cps-sei / swim
  SWIM - A Simulator of Web Infrastructure and Management
  ☆17Updated 3 years ago
• VerifiableRobotics / LTLMoP
  A toolkit for designing and implementing LTL-based task specifications.
  ☆55Updated 8 years ago
• prismmodelchecker / prism-games
  The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
  ☆24Updated 3 weeks ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆94Updated 2 weeks ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆172Updated this week
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• jacamo-lang / jacamo
  This project aims to promote the MultiAgent Oriented Programming (MAOP) approach by providing a suitable integration of tools and languag…
  ☆88Updated 2 months ago
• umangm / realsyn
  Automated Controller Synthesis
  ☆15Updated 6 years ago
• whitemech / lydia
  A tool for LDLf translation to DFA and for LDLf synthesis.
  ☆23Updated last year
• fraleo / OMTPlan
  A python framework for Optimal Planning Modulo Theories
  ☆11Updated last year
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆215Updated 2 weeks ago
• mvcisback / py-metric-temporal-logic
  Python library for working with Metric Temporal Logic (MTL)
  ☆99Updated 2 years ago
• Kurorororo / numeric-fast-downward
  ☆15Updated last year
• mtappler / mut-learn
  Mutation-based implementation of a random equivalence testing strategy for active automata learning
  ☆15Updated 6 years ago
• tulip-control / tulip-control
  Temporal Logic Planning toolbox
  ☆118Updated 3 weeks ago
• aibasel / downward-benchmarks
  ☆37Updated 6 months ago
• ChaoHuang2018 / POLAR_Tool
  POLAR official tool
  ☆20Updated 8 months ago
• rosin-project / ros2_fuzz
  An automatic fuzzing tool for ROS 2 C++ projects
  ☆16Updated 3 years ago
• cmu-rss-lab / rosdiscover
  ☆17Updated last year
• ssanner / rddlsim
  Automatically exported from code.google.com/p/rddlsim
  ☆54Updated last year
• ZikangXiong / VRL_CodeReview
  [PLDI 19'] An Inductive Synthesis Framework for Verifiable Reinforcement Learning
  ☆13Updated 5 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆147Updated this week
• Verisig / verisig
  ☆27Updated 8 months ago
• ivan-gavran / samples2LTL
  A tool for obtaining LTL formulas from a sample of positive and negative words.
  ☆23Updated 2 years ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆54Updated 4 months ago
• sbft-cps-tool-competition / cps-tool-competition
  The repository hosts the code for the SBFT CPS Tool competition for testing autonomous cars.
  ☆16Updated 6 months ago
• anand-bala / signal-temporal-logic
  A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!
  ☆38Updated last year
• benchflow / benchflow
  An open-source expert system for automated end-to-end objective-driven performance testing and performance insights.
  ☆27Updated last week
• ramonpereira / landmark-based-goal-recognition
  Landmark-Based Approaches for Goal Recognition as Planning.
  ☆13Updated 2 years ago