Composition of stochastic services for LTLf goal specifications by De Giacomo, G, Favorito, M, Silo, L

Orchestration of services in smart manufacturing through automated synthesis by Monti, F, Silo, L, Favorito, M, De Giacomo, G, Leotta, F, Mecella, M

AIDA: a tool for resiliency in smart manufacturing by De Giacomo, G, Favorito, M, Leotta, F, Mecella, M, Monti, F, Silo, L