Foundations of strategic reasoning and relationship with planning in nondeterministic domains for task specified in temporal logics LTL, LTLf and variants (2019-0070-1340-146191)
Data pubblicazione: 03-10-2019
Data scadenza: 02-11-2019
Centro di spesa: DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
data dell'ultimo aggiornamento: 06/12/2019 - 10:00
Codice bando: 24
2019-0070-1340-146191