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