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
Decreto approvazione atti
Centro di spesa: DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
2020-0070-1340-149926
© Sapienza Università di Roma - Piazzale Aldo Moro 5, 00185 Roma - (+39) 06 49911 - CF 80209930587 PI 02133771002