Planning for goals expressed in Linear Time Logics on finite traces in incomplete and approximate domain models: plan synthesis and goal recognition

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