Explore projects
-
-
Mooc Recherche Reproductible ressources publiques (https://learninglab.gitlabpages.inria.fr/mooc-rr/mooc-rr-ressources)
Topics: Mooc resourcesUpdated -
-
synchrone / Heptagon
GNU General Public License v3.0 onlyHeptagon is a synchronous dataflow language whose syntax and semantics is inspired from Lustre, with a syntax allowing the expression of control structures (e.g., switch or mode automata).
Updated -
-
-
DAMIE Marc / Unofficial Inria Beamer
Apache License 2.0Unofficial Beamer template based on Inria color palette
Topics: latexUpdated -
-
-
Updated
-
Teaching material for an industrial audience
Updated -
-
datapol / Manuscript-template
MIT LicenseUpdated -
Welcome to Hintikka's world! This website shows intelligent artificial agents reasoning about higher-order knowledge (a knows that b knows that...). It enables to explore mental states of the agents by clicking on them.
Updated -
Updated
-
-
BUFFET Olivier / LC-HSVI-nips18
MIT LicensePOMDP and rho-POMDP solver exploiting the Lipschitz-continuity of finite-horizon value functions (source code for NIPS 2018)
Updated -