Planning for goals expressed in Linear Time Logics on finite traces in incomplete and approximate domain models: plan synthesis and goal recognition (SPC: 2020-0070-1340-149926)
Codice bando: 1
Data pubblicazione: 08-01-2020
Data scadenza: 07-02-2020
Bando: AR 1_De Giacomo.pdf
Decreto approvazione atti
Centro di spesa: DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
2020-0070-1340-149926