2017

Formal methods for functional verification of cache-coherent systems-on-chip

Projet de fin d'études Licence

2017

Analyse de problemes de decision distribuee et conception d'heuristiques de resolution

BRANDON Lois

Projet de fin d'études Licence

2017

Exploration-exploitation dilemma in reinforcement learning under various form of prior knowledge

MELANIE Evan

Projet de fin d'études Licence