Alternatives and similar repositories for crome-contracts

Users that are interested in crome-contracts are comparing it to the libraries listed below

• pierg / crome-logic
  ☆10Updated 2 years ago
• pierg / crome-web
  ☆10Updated 2 years ago
• pierg / synthesis-web
  web interface for crome-synthesis
  ☆10Updated 2 years ago
• pierg / crome-synthesis
  ☆10Updated 2 years ago
• pierg / crome-cgg
  Contract-Based Goal Graph Implementation. Combining LTL synthesis and contract-based design to model and analysis complex systems
  ☆11Updated 2 years ago
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated 5 months ago
• IBM / nl2ltl
  Natural Language (NL) to Linear Temporal Logic (LTL)
  ☆77Updated last month
• zmlin1998 / RUN
  Official repository of "Root Cause Analysis In Microservice Using Neural Granger Causal Discovery" @ AAAI 2024
  ☆31Updated 11 months ago
• azamikram / rcd
  Root Cause Discovery: Root Cause Analysis of Failures in Microservices through Causal Discovery
  ☆57Updated last year
• mvcisback / py-metric-temporal-logic
  Python library for working with Metric Temporal Logic (MTL)
  ☆99Updated 2 years ago
• realChrisHahn2 / nl2spec
  nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
  ☆43Updated last year
• dhl123 / Airtag-2023
  ☆29Updated 4 months ago
• ivan-gavran / samples2LTL
  A tool for obtaining LTL formulas from a sample of positive and negative words.
  ☆23Updated 3 years ago
• whitemech / LTLf2DFA
  From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
  ☆72Updated last year
• minecraft-saar / autoplanbench
  ☆14Updated 5 months ago
• Ruoyu-Li / UAD-Rule-Extraction
  Rule Extraction from Unsupervised Anomaly Detection in Security
  ☆19Updated 2 months ago
• randriu / synthesis
  ☆23Updated this week
• nirlipo / ltl2pddl
  LTL2PDDL tool
  ☆9Updated 7 years ago
• AbductiveLearning / ABLkit
  An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a un…
  ☆67Updated last week
• keyshor / dirl
  Code for experiments in the paper: "Compositional Reinforcement Learning from Logical Specifications" (https://arxiv.org/abs/2106.13906).
  ☆15Updated 3 years ago
• alan-turing-institute / Entity-Based-Yawning-Titan
  Official Repository of the Entity-based Reinforcement Learning for Autonomous Cyber Defence paper.
  ☆18Updated 5 months ago
• pacti-org / pacti
  A package for compositional system analysis and design
  ☆23Updated this week
• MoonLightSuite / moonlight
  MoonLight: a light-weight framework for runtime monitoring.
  ☆15Updated last year
• Henrygwb / edge
  ☆20Updated 3 years ago
• ctpelok77 / kstar
  ☆10Updated 2 years ago
• zhaoyu-li / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆34Updated last year
• FudanSELab / DeepTraLog
  ☆35Updated 3 years ago
• whitemech / temprl
  Reinforcement Learning framework for Temporal Goals
  ☆11Updated 2 years ago
• prismmodelchecker / prism-games
  The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
  ☆25Updated last month
• Shufang-Zhu / Syft
  Synthesizer of LTLf formula
  ☆9Updated 4 months ago