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
Related projects ⓘ
Alternatives and complementary repositories for crome-cgg
- ☆10Updated 2 years ago
- web interface for crome-synthesis☆10Updated 2 years ago
- ☆10Updated 2 years ago
- ☆10Updated 2 years ago
- Contracts operations tools, based on LTL☆10Updated 2 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 10 months ago
- A package for compositional system analysis and design☆19Updated 3 weeks ago
- CAV'22 paper to speed up Neural Network Verification.☆14Updated last year
- a little library to help me with things involving Koopman operators☆11Updated 2 years ago
- Social Network Analysis and STEM Education is designed to prepare researchers to apply network analysis in order to better understand and…☆12Updated 3 months ago
- Information on the Phase II Industry Day for the Centers of Excellence at USDA.☆13Updated 5 years ago
- Tricks of the trade☆7Updated 7 years ago
- ls for the BSc course "Analysis, Design, and Software Architecture" at IT University of Copenhagen☆28Updated this week
- Collection of popular, highly recommended, highly influential CS books☆10Updated 2 years ago
- A repository that contains links and information for acquisitions and potential acquisitions that have arisen out of work between the CoE…☆11Updated 4 years ago
- ☆15Updated 7 years ago
- README-filen er selvskrevet kompendium i Kommunikasjon, Tjenester og nettverk - TTM4100☆8Updated 6 years ago
- ML models often mispredict, and it is hard to tell when and why. We present a data mining based approach to discover whether there is a c…☆18Updated 2 years ago
- An automata learning library written in Python.☆49Updated 4 years ago
- nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models☆30Updated 8 months ago
- implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019☆18Updated 4 years ago
- The Charon tool for analyzing neural network robustness☆13Updated 4 years ago
- BERT Sentiment Classification on the IMDb Large Movie Review Dataset.☆13Updated 2 years ago
- Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)☆17Updated last year
- VNN Neural Network Verification Competition 2021☆37Updated 3 years ago
- OVAL framework for BaB-based Neural Network Verification☆13Updated 8 months ago
- This repository implements the interaction with DBLP, information extraction and pre-processing of papers, and a client to store data to …☆10Updated last year
- Data Visualization Course☆25Updated last month
- Clover: Closed-Loop Verifiable Code Generation☆26Updated 5 months ago
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆18Updated 2 months ago