Key words
IA and formal methods, automated reasoning, computational learning
Departments
Department of Informatics, Bioengineering, Robotics and Systems Engineering
Contacts
Prof. Armando Tacchella (armando.tacchella@unige.it)
Safety and security of artificial neural Networks
Last update 12 January 2023