Discover projects, groups and snippets. Share your projects with others
Formal Developments and Proofs in Coq of Numerical Analysis Problems.
General Opacity Supervision tool
repository of the sbench python package
Modular General Framework for Opacity Supervision using the Symbolic Observation Graph
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