Foundations of strategic reasoning and relationship with planning in nondeterministic domains for task specified in temporal logics LTL, LTLf and variants

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