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