by Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei, Raimondi, Franco
Published in Journal of automated reasoning (01.06.2018)

by Gritti, Armando Pesenti, Tarabini, Oscar, Guzzi, Jerome, Di Caro, Gianni A., Caglioti, Vincenzo, Gambardella, Luca M., Giusti, Alessandro
Published in 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems (01.09.2014)

by Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei, Raimondi, Franco
Published in Interactive Theorem Proving

by Bauereiss, Thomas, Gritti, Armando Pesenti, Popescu, Andrei, Raimondi, Franco
Published in 2017 IEEE Symposium on Security and Privacy (SP) (01.05.2017)

by Pesenti Gritti, Armando, Tarabini, Oscar, Giusti, Alessandro, Guzzi, Jerome, Di Caro, Gianni A., Caglioti, Vincenzo, Gambardella, Luca M.
Published in 2014 9th ACM/IEEE International Conference on Human-Robot Interaction (HRI) (03.03.2014)

by Aljasem, Dalal Khalid, Heeney, Michael, Gritti, Armando Pesenti, Raimondi, Franco
Published in 2016 12th International Conference on Intelligent Environments (IE) (01.09.2016)