Leonardo Picchiami's repositories
molecular_synthesis_and_reconstruction
Deep Learning And Applied Artificial Intelligence Project 2019/2020 - Molecular Synthesis & Reconstruction
nusmv_grid_game_controller_synthesis
Formal Methods in Software Development Project 2019/2020 - Generation of a controller for a game grid with obstacle and goal cell. The controller is generated by interrogating NuSMV as a blackbox and using the output appropriately.
mining_evolving_topics
Web And Social Information Extraction Project 2018/2019 - Trace and Identification of topics
kaggle_house_price_prediction
Advanced Regression on the Kaggle competition