Explore projects

Ce dépôt Git contient le code de la plateforme (Jupyter Book) pour le module de 2A - SICOM : Introduction à l'intelligence artificielle - 4PMSIIA4 à l'école d'ingénieurs Phelma.

🌐 Site accessible via ce lien : https://phelma-sicom.gricad-pages.univ-grenoble-alpes.fr/2a/4pmsiia4-cours

DecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae

Development version for WPS