Composition of stochastic services for LTLf goal specifications

Composition of stochastic services for LTLf goal specifications

Service composition <i>à la</i> Roman model consists of realizing a virtual service by orchestrating suitably a set of already available services. In this paper, we consider a variant where available services are stochastic systems, and the target specification is goal-oriented and speci...

Deskribapen osoa

Xehetasun bibliografikoak
Egile Nagusiak:	De Giacomo, G, Favorito, M, Silo, L
Formatua:	Conference item
Hizkuntza:	English
Argitaratua:	Springer Nature 2024

Antzeko izenburuak

Grounding LTLf specifications in image sequences
nork: Umili, E, et al.
Argitaratua: (2023)

Symbolic LTLf best-effort synthesis
nork: De Giacomo, G, et al.
Argitaratua: (2023)

The trembling-hand problem for LTLf planning
nork: Yu, P, et al.
Argitaratua: (2024)

LTLf synthesis under environment specifications for reachability and safety properties
nork: Aminof, B, et al.
Argitaratua: (2023)

Towards ILP-based LTLf passive learning
nork: Ielo, A, et al.
Argitaratua: (2023)

LTLf best-effort synthesis in nondeterministic planning domains
nork: De Giacomo, G, et al.
Argitaratua: (2023)

Orchestration of services in smart manufacturing through automated synthesis
nork: Monti, F, et al.
Argitaratua: (2024)

Stochastic best-effort strategies for Borel goals
nork: Aminof, B, et al.
Argitaratua: (2023)

Clock specifications for temporal tasks in planning and learning
nork: De Giacomo, G, et al.
Argitaratua: (2024)

FOND planning for pure-past linear temporal logic goals
nork: Bonassi, L, et al.
Argitaratua: (2023)

Planning for temporally extended goals in pure-past linear temporal logic
nork: Bonassi, L, et al.
Argitaratua: (2023)

AIDA: a tool for resiliency in smart manufacturing
nork: De Giacomo, G, et al.
Argitaratua: (2023)

Temporally extended goal recognition in fully observable non-deterministic domain models: temporally extended goal recognition in FOND planning
nork: Pereira, RF, et al.
Argitaratua: (2023)

Exploiting multiple abstractions in episodic RL via reward shaping
nork: Cipollone, R, et al.
Argitaratua: (2023)

Goal-ontology ETL processes specification
nork: Ta'a, Azman, et al.
Argitaratua: (2011)

The impact of alternate specifications of business performance : "goal-centered" versus "goal-independent" perspectives
nork: Venkatraman, N.
Argitaratua: (2009)

Effective goals for complex tasks : towards a broader conceptualization of specific-difficult goals
nork: Schiro, Susan Fox.
Argitaratua: (2009)

Effects of Mindfulness-Based Cognitive Therapy on Specificity of Life Goals
nork: Crane, C, et al.
Argitaratua: (2012)

Effects of Mindfulness-Based Cognitive Therapy on Specificity of Life Goals
nork: Crane, C, et al.
Argitaratua: (2011)

Can goal-free problems be used to support students in solving goal-specific problems in the secondary mathematics classroom?
nork: Wilson, J
Argitaratua: (2019)

Web service integration — a goal based approach
nork: Xiong, Lu Ying.
Argitaratua: (2008)

ETL processes specifications generation through goal-ontology approach
nork: Ta'a, Azman, et al.
Argitaratua: (2011)

Math everywhere : deterministic and stochastic modelling in biomedicine, economics and industry ; dedicated to the 60th birthday of Vincenzo Capasso /
nork: Aletti, G. (Giacomo)
Argitaratua: (2007)

Implementation of stochastic mobility services
nork: Seet, Kenny Yong Song
Argitaratua: (2015)

Requirements engineering : from system goals to UML models to software specifications /
nork: Lamsweerde, A. van (Axel)
Argitaratua: (2009)

Goals and goal setting : planning to succeed /
nork: 186159 Rouillard, Larrie A.
Argitaratua: (1993)

Goals and goal conflicts : managing conflict /
nork: Open University. Systems Management Course Team, et al.
Argitaratua: (1974)

Advances in stochastic models of manufacturing and service operations
nork: Tan, B., et al.
Argitaratua: (2016)

Compositional Controller Synthesis for Stochastic Games
nork: Basset, N, et al.
Argitaratua: (2014)

Pre-service teachers' goals and future-time extension, concerns, and well-being
nork: Hagger, H, et al.
Argitaratua: (2011)

Pre-service teachers’ goals and future time extension, concerns, and well-being
nork: Malmberg, L, et al.
Argitaratua: (2011)

A Computationally Efficient FPTAS for Convex Stochastic Dynamic Programs
nork: Halman, Nir, et al.
Argitaratua: (2018)

Implementation of a stochastic routing service
nork: Yang, Wanqing
Argitaratua: (2015)

Implementation of a stochastic routing service
nork: Xu, Yaohe
Argitaratua: (2016)

Penentuan had plastik dengan penusukan kun terubahsuai /
nork: 399215 Maxwell Silo
Argitaratua: (2002)

The goals of universities
nork: Allen, M. J. (Michael John), 1956-
Argitaratua: (1988)

Goal-setting participation and goal commitment:Examining the mediating roles of procedural fairness and interpersonal trust in a UK Financial Service Organization
nork: Sholihin, Mahfud, et al.
Argitaratua: (2012)

Goal commitment and alignment of personal goals predict group identification only when the goals are shared
nork: Zhang, Yan, et al.
Argitaratua: (2013)

Community goal/
nork: 404512 Smith, Frank J., et al.
Argitaratua: (1982)

The goals of universities/
nork: 358409 Allwn, Michael
Argitaratua: (1988)