Aamir Saeed. AUTOMATED PLANNING AND GOAL REASONING FOR AUTONOMOUS SYSTEMS VIA MODEL CHECKING. Rel. Michele Taragna. Politecnico di Torino, Corso di laurea magistrale in Mechatronic Engineering (Ingegneria Meccatronica), 2019