Explore projects

Application de l'université de Rennes, développé par les étudiants et les étudiantes du BDE d'informatique, la Palme.

It implements the model checker and example in the paper: Model Checking Causality. Tiago de Lima, and Emiliano Lorini. in Proc. of IJCAI 2024.

Fork of https://src.koda.cnrs.fr/tiago.de.lima/cmc/-/releases/0.1.0.0

This is a AI project for the ESIR2 AI course where we developed and tested different types of GANs for simple image generation.

"Après des mois de voyage à travers l'espace, ta mission prend une tournure dramatique. Ton vaisseau se crash sur une planète inconnue, désignée simplement comme la Planète Æ A-XII (imprononçable).

Ton objectif est clair : Récupérer suffisamment de matériaux pour réparer ta fusée et quitter cette planète hostile avant qu'il ne soit trop tard.

La nuit, les monstres de la planète sortent et sont sans pitié .. Tu profiteras de la lumière du jour pour t’armer et trouver tout ce qui te faut pour bâtir ta base, et pouvoir survivre.

Tu disposes de 3 jours pour t'enfuir ! Il va falloir faire attention, et surtout , il va falloir faire vite ..”

Pendant 2 jours, nous avons réalisé un jeu vidéo en Java. Mon groupe était constitué de 5 membres : Baptiste THEPAUT, Mathieu MERIEN, Nourchene DRIDI, Aymeric PIERRE et Léa DJOKO KOUAM. Au bout des 2 jours, nous avons présenté notre jeu devant le jury.