1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
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…