Discover projects, groups and snippets. Share your projects with others
Formal Developments and Proofs in Coq of Numerical Analysis Problems.
repository of the sbench python package
ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation
This repository hosts the different modules that will process CheneTAL corpora.
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees
Multi-core Decision Diagram (BDD/LDD) implementation
Fault-Tolerant Communication-Avoiding and Tall-and-Skinny matrix factorizations (LU, QR, Cholesky)
General Opacity Supervision tool
gitlab-ci.yml configuration files