Home » Publication » 24439

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

keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma