Pubblicazioni

Salvatore LA TORRE Pubblicazioni


2021
Contributo in volume (Capitolo o Saggio)
Automated Planning Through Program Verification.
In Dario Della Monica, Gian Luca Pozzato, Enrico Scala Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis Pag.13-17 CEUR.
La Torre, Salvatore; Parlato, Gennaro
Versione online
Visualizza sul Database dei Prodotti (IRIS)