Explore projects
-
-
Mooc Recherche Reproductible ressources publiques (https://learninglab.gitlabpages.inria.fr/mooc-rr/mooc-rr-ressources)
Updated -
Heptagon 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 -
-
-
-
Unofficial Beamer template based on Inria color palette
Updated -
-
Updated
-
-
-
Updated
-
Teaching material for an industrial audience
Updated -
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
-
-
Updated
-
POMDP and rho-POMDP solver exploiting the Lipschitz-continuity of finite-horizon value functions (source code for NIPS 2018)
Updated