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
- web interface for crome-synthesis☆10Updated 2 years ago
- ☆10Updated 2 years ago
- Contracts operations tools, based on LTL☆10Updated 2 years ago
- ☆10Updated 2 years ago
- ☆10Updated 2 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 11 months ago
- Collection of popular, highly recommended, highly influential CS books☆10Updated 2 years 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
- 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
- A package for compositional system analysis and design☆19Updated last month
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆19Updated last year
- Dynamic causal Bayesian optimisation☆35Updated last year
- README-filen er selvskrevet kompendium i Kommunikasjon, Tjenester og nettverk - TTM4100☆8Updated 6 years ago
- Data Visualization Course☆25Updated 2 months ago
- Demo for Neuro-Symbolic Agent (LOA)☆14Updated 2 years ago
- ☆15Updated 7 years ago
- ☆9Updated last year
- Repo for ICML'23 paper SurCo Learning Linear Surrogates For Combinatorial Nonlinear Optimization Problems☆17Updated last year
- Official code repository to the corresponding paper.☆28Updated last year
- ☆31Updated 2 weeks ago
- ☆14Updated last year
- 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
- This is the repo for the Data Engineering 2 - Cloud Computing course delivered at the Central European University ceu.edu☆15Updated this week
- Code for Neural Execution Engines: Learning to Execute Subroutines☆16Updated 3 years ago
- This repository reproduces the results in the paper "How expressive are transformers in spectral domain for graphs?"(published in TMLR)☆11Updated 2 years ago
- Information on the Phase II Industry Day for the Centers of Excellence at USDA.☆13Updated 5 years ago
- CAV'22 paper to speed up Neural Network Verification.☆14Updated last year
- Resources and environment for unsupervised outlier model selection (UOMS)☆23Updated 2 years ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆39Updated last year
- Multithreaded elementwise algebra and random number generation☆8Updated last year