collaborators

1 paper

cs.LO2023

Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications

Giuseppe De Giacomo, Marco Favorito, Luciana Silo

In this paper, we study the composition of services so as to obtain runs satisfying a task specification in Linear Temporal Logic on finite traces (LTLf). We study the problem in t…