Dettaglio pubblicazione
2021, Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021, Pages 122-130
Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata (04b Atto di convegno in volume)
De Giacomo Giuseppe, Favorito Marco
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords