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