Home » Publication » 14337

Dettaglio pubblicazione

2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Pages 1558-1564

Synthesis for LTL and LDL on Finite Traces (04b Atto di convegno in volume)

DE GIACOMO Giuseppe, Vardi Moshe Y.

ISBN: 978-1-57735-738-4
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma