Home » Publication » 14344

Dettaglio pubblicazione

2014, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, Pages 1027-1033

Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness (04b Atto di convegno in volume)

DE GIACOMO Giuseppe, Riccardo De Masellis, Marco Montali

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