cmu-able / rainbowLinks
Rainbow self-adaptive framework
☆32Updated 3 years ago
Alternatives and similar repositories for rainbow
Users that are interested in rainbow are comparing it to the libraries listed below
Sorting:
- The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.☆29Updated last week
- PDDL4J is an open source library under LGPL license whose purpose of PDDL4J is to facilitate the development of JAVA tools for Automated …☆161Updated last year
- SPL Conqueror is a library to learn the influence of configuration options of configurable software systems on non-functional properties.☆23Updated last year
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- A free, open-source Java library for automata learning algorithms☆222Updated 2 weeks ago
- General library for setting up linux-based environments for developing, running, and evaluating planners.☆134Updated 3 weeks ago
- Planning Domain Description Language (PDDL) grammar, syntax highlighting, code snippets, parser and planner integration for Visual Studio…☆102Updated last year
- ☆311Updated 3 months ago
- A Modern Probabilistic Model Checker☆160Updated this week
- PDDL+ planning through compilation to SMT☆52Updated 2 years ago
- SWIM - A Simulator of Web Infrastructure and Management☆17Updated 4 years ago
- Automatically exported from code.google.com/p/rddlsim☆55Updated last year
- ☆62Updated last year
- Aquaplanning QUick Automated Planning.☆13Updated 5 years ago
- Search-based test generation toolbox written in Python☆16Updated 3 months ago
- Neural Network Verification Software Tool☆137Updated 2 weeks ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆33Updated 6 years ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Updated 2 years ago
- Python library for working with Metric Temporal Logic (MTL)☆102Updated 2 years ago
- A free, open-source Java library for automata, graphs, and transition systems☆99Updated this week
- an enumerative reactive synthesis tool for the GR(1) fragment of LTL☆13Updated last month
- Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)☆17Updated 2 years ago
- ☆15Updated last year
- Concolic Testing for Deep Neural Networks☆119Updated 4 years ago
- A toolkit for designing and implementing LTL-based task specifications.☆56Updated 9 years ago
- GI in No Time - a Simple Microframework for Genetic Improvement☆49Updated 3 weeks ago
- ☆15Updated 4 years ago
- ☆101Updated 5 years ago
- FOND solver based on SAT☆14Updated 3 years ago
- Temporal Logic Planning toolbox☆124Updated last month