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