A computer program using multi-paradigm approach to visualise statistic data covering confirmed cases, death cases and recovered cases according to the given dataset.
Abstract: Signal Temporal Logic (STL) provides a convenient way of encoding complex control objectives for robotic and cyber-physical systems. The state-of-the-art in trajectory synthesis for STL is ...
Repository for the AILab exam's projects, session 2019-2020. Developer with love by Roger Ferrod, Pio Raffaele Fina and Lorenzo Tabasso.
Abstract: Despite recent advances in modern machine learning algorithms, the opaqueness of their underlying mechanisms continues to be an obstacle in adoption. To instill confidence and trust in ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback