Foundations of strategic reasoning and relationship with planning in nondeterministic domains for task specified in temporal logics LTL, LTLf and variants (SPC: 2019-0070-1340-146191)

Codice bando: 24
Data pubblicazione: 03-10-2019
Data scadenza: 02-11-2019
Bando: PDF icon Bando AR_24_DeGiacomo.pdf
Decreto approvazione atti
PDF icon approvazione atti AR 24.pdf
Verbale della seduta preliminare:
PDF icon 01 Verbale Riunione Preliminare_AR_24.pdf
Centro di spesa: DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
2019-0070-1340-146191
© Sapienza Università di Roma - Piazzale Aldo Moro 5, 00185 Roma - (+39) 06 49911 - CF 80209930587 PI 02133771002