BANDO ASSEGNO DI RICERCA N. 22/2022 - Planning for goals in pure past linear temporal logics on finite traces over deterministic and nondeterministic domains

Data di aggiornamento: 21/09/2022 - 12:29
© Sapienza Università di Roma - Piazzale Aldo Moro 5, 00185 Roma - (+39) 06 49911 - CF 80209930587 PI 02133771002