Digital Twins Composition via Markov Decision Processes. - Giuseppe De Giacomo; Marco Favorito; Francesco Leotta; Massimo Mecella; Luciana Silo (ITBPM@BPM, 2021)

Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes. - Giuseppe De Giacomo; Marco Favorito; Francesco Leotta; Massimo Mecella; Luciana Silo (PMAI@IJCAI, 2022)

AIDA: A Tool for Resiliency in Smart Manufacturing. - Giuseppe De Giacomo; Marco Favorito; Francesco Leotta; Massimo Mecella; Flavia Monti; Luciana Silo (CAiSE Forum, 2023)

Agent Behavior Composition in Stochastic Settings. - Luciana Silo (EUMAS, 2023)

Services in Industry 4.0. Modeling and Composition for Agile Supply Chains. - Francesco Leotta; Flavia Monti; Luciana Silo (ICSOC Workshops, 2023)

On the Suitability of AI for Service-based Adaptive Supply Chains in Smart Manufacturing. - Flavia Monti; Luciana Silo; Francesco Leotta; Massimo Mecella (ICWS, 2023)

Composition of Nondeterministic Services for LTLf Task Specification. - Giuseppe De Giacomo; Marco Favorito; Luciana Silo (OVERLAY@AI*IA, 2023)

Services in Smart Manufacturing: Comparing Automated Reasoning Techniques for Composition and Orchestration. - Flavia Monti; Luciana Silo; Francesco Leotta; Massimo Mecella (SummerSOC, 2023)

Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications. - Giuseppe De Giacomo; Marco Favorito; Luciana Silo (CoRR, 2023)

Digital twin composition in smart manufacturing via Markov decision processes. - Giuseppe De Giacomo; Marco Favorito; Francesco Leotta; Massimo Mecella; Luciana Silo (Comput. Ind., 2023)

Composition of Stochastic Services for LTLf Goal Specifications. - Giuseppe De Giacomo; Marco Favorito; Luciana Silo (FoIKS, 2024)

LTLf Goal-oriented Service Composition. - Giuseppe De Giacomo; Marco Favorito; Luciana Silo (PMAI@ECAI, 2024)

Orchestration of Services in Smart Manufacturing Through Automated Synthesis. - Flavia Monti; Luciana Silo; Marco Favorito; Giuseppe De Giacomo; Francesco Leotta; Massimo Mecella (IEEE Trans. Serv. Comput., 2024)

Service composition for ltl task specifications. - Giuseppe De Giacomo; Marco Favorito; Luciana Silo (Inf. Syst., 2025)