Raggruppa per: Tipologia del documento | Nessun raggruppamento
Salta a: Tesi
Numero di pubblicazioni : 1.
Tesi
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
Up a level