BANDO ASSEGNO DI RICERCA N. 22/2022 - Planning for goals in pure past linear temporal logics on finite traces over deterministic and nondeterministic domains (SPC: 2022-0070-1340-192362)

Codice bando: 22
Data pubblicazione: 24-06-2022
Data scadenza: 24-07-2022
Decreto nomina commissione
Centro di spesa: DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
2022-0070-1340-192362
© Sapienza Università di Roma - Piazzale Aldo Moro 5, 00185 Roma - (+39) 06 49911 - CF 80209930587 PI 02133771002