Explore projects
-
Updated
-
Project work about neural networks.
Updated -
Updated
-
Updated
-
Updated
-
Bureau d'étude informatique pour la gestion des activités du département Maths-Info
Updated -
It implements the model checker and example in the paper: Model Checking Causality. Tiago de Lima, and Emiliano Lorini. in Proc. of IJCAI 2024.
Updated -
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Projet du cours Génie Logiciel de la section IoT de l'ESIR.
Updated -
Updated