Home » Publication » 24857

Dettaglio pubblicazione

2020, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, Pages 304-314

Two-Stage Technique for LTLf Synthesis Under LTL Assumptions (04b Atto di convegno in volume)

De Giacomo Giuseppe, Di Stasio Antonio, Vardi Moshe, Zhu Shufang

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