Home » Publication » 16879

Dettaglio pubblicazione

2014, ECAI 2014 - 21st European Conference on Artificial Intelligence, Pages 369-374 (volume: 263)

LTL Verification of Online Executions with Sensing in Bounded Situation Calculus (04b Atto di convegno in volume)

DE GIACOMO Giuseppe, Yves Lespérance, Patrizi Fabio, Vassos Stavros

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