Explore projects

Translation of LTL formulae from JSON into Helena syntax.

Modular General Framework for Opacity Supervision using the Symbolic Observation Graph

Introduction à l'algorithmique et aux bases de la programmation

Supports pour le module M3105

Le fork LIPN de Mastodon pour l'instance lipn.info. Basé sur le dépot officiel et sur le dépôt Mathstodon

This repository contains pnml from the MCC (https://mcc.lip6.fr).

Solving MCNF using GCNs

Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees

SOG-Based Multi-Core LTL Model Checking

Formal Developments and Proofs in Coq of Numerical Analysis Problems.