Dettaglio pubblicazione
2016, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, Pages 1044-1050
LTLf and LDLf Synthesis under Partial Observability (04b Atto di convegno in volume)
DE GIACOMO Giuseppe, Moshe Vardi
ISBN: 978-1-57735-770-4
keywords