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 the case services are nondeterministic and the LTLf specification can be exactly met. To do so, we combine techniques from LTLf synthesis, service composition à la Roman Model and reactive synthesis.
Composition of Nondeterministic Services for LTLf Task Specification / De Giacomo, G.; Favorito, M.; Silo, L.. - 3629:(2023), pp. 73-77. (Intervento presentato al convegno OVERLAY 2023 Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2023 tenutosi a Rome; Italy).
Composition of Nondeterministic Services for LTLf Task Specification
De Giacomo G.
;Favorito M.
;Silo L.
2023
Abstract
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 the case services are nondeterministic and the LTLf specification can be exactly met. To do so, we combine techniques from LTLf synthesis, service composition à la Roman Model and reactive synthesis.| File | Dimensione | Formato | |
|---|---|---|---|
|
DeGiacomo_Composition_2023.pdf
accesso aperto
Note: https://ceur-ws.org/Vol-3629/paper12.pdf
Tipologia:
Documento in Post-print (versione successiva alla peer review e accettata per la pubblicazione)
Licenza:
Creative commons
Dimensione
962.82 kB
Formato
Adobe PDF
|
962.82 kB | Adobe PDF |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
