Explore projects
-
Archived 0Updated
-
Archived 0Updated
-
Archived 0Updated
-
Archived 0Updated
-
Archived 0Updated
-
Archived 0Updated
-
New version: https://github.com/flowersteam/social-ai
This project aims to create baselines and environments containing NPCs. NPCs are usefull because they enable us to study simple social interactions and "intertwined" multi-modal actions and observations.
Archived 1Updated -
Archived 0Updated
-
Archived 0Updated
-
Archived 0Updated
-
-
Example of a controller using a QP at the joint velocity level
Archived 0Updated -
Small script for creating stats on a list of occupation titles.
Archived 0Updated -
-
-
-
-
Portage en Python3 à partir de Vensim du modèle World3-2003 (révision de 2005).
Archived 1Updated -
-
Separation Logic with Characteristic Formulae Entirely within Coq
Archived 1Updated