Explore projects

Project work about neural networks.

Bureau d'étude informatique pour la gestion des activités du département Maths-Info

It implements the model checker and example in the paper: Model Checking Causality. Tiago de Lima, and Emiliano Lorini. in Proc. of IJCAI 2024.

Fork of https://src.koda.cnrs.fr/tiago.de.lima/cmc/-/releases/0.1.0.0

Projet de L3-INFO

Projet du cours Génie Logiciel de la section IoT de l'ESIR.