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). We study the problem in the case services are nondeterministic and the LTLf specification can be exactly met, and in the case services are stochastic, where we are interested in maximizing the probability of satisfaction of the LTLf specification and, simultaneously, minimizing the utilization cost of the services. To do so, we combine techniques from LTLf synthesis, service composition \`a la Roman Model, reactive synthesis, and bi-objective lexicographic optimization on MDPs. This framework has several interesting applications, including Smart Manufacturing and Digital Twins.
함께 살펴볼 논문
공통 태그를 근거로 연결했습니다. 실제 인용 관계나 논문의 우수성을 뜻하지 않습니다.
RLHGNN: Reinforcement Learning-driven Heterogeneous Graph Neural Network for Next Activity Prediction in Business Processes
An AI Chatbot for Explaining Deep Reinforcement Learning Decisions of Service-oriented Systems
Dynamic Service Composition Orchestrated by Cognitive Agents in Mobile & Pervasive Computing
NLSC: Unrestricted Natural Language-based Service Composition through Sentence Embeddings
Disrupting Vision-Language Model-Driven Navigation Services via Adversarial Object Fusion
Retrieval-Augmented Generation for Service Discovery: Chunking Strategies and Benchmarking
토론
이 논문과 연결된 포럼 글이 아직 없습니다.