Home » Publication » 23048

Dettaglio pubblicazione

2020, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Pages 152-161

High-level Programming via Generalized Planning and LTL Synthesis (04b Atto di convegno in volume)

Bonet Blai, De Giacomo Giuseppe, Geffner Hector, Patrizi Fabio, Rubin Sasha

ISBN: 978-0-9992411-7-2
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma