![]() | Up a level |
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