Search Results for author:
Found 1 papers, 0 papers with code
Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications
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).
Cannot find the paper you are looking for? You can
Submit a new open access paper.
