Composition of Stochastic Services for LTLf Goal Specifications

Giuseppe De Giacomo‚ Marco Favorito and Luciana Silo