11573/1708913 - 2024 -
Composition of Stochastic Services for LTLf Goal Specifications De Giacomo, Giuseppe; Favorito, Marco; Silo, Luciana - 04b Atto di convegno in volume
congresso: 13th International Symposium, FoIKS 2024 (Sheffield, UK)
libro: Foundations of Information and Knowledge Systems - (978-3-031-56940-1)
11573/1706666 - 2024 -
Services in Industry 4.0. Modeling and Composition for Agile Supply Chains Leotta, Francesco; Monti, Flavia; Silo, Luciana - 04b Atto di convegno in volume
congresso: International Conference on Service Oriented Computing (Roma)
libro: Lecture Notes in Computer Science, vol 14518 - (978-981-97-0988-5; 978-981-97-0989-2)
11573/1701844 - 2023 -
Composition of Nondeterministic Services for LTLf Task Specification De Giacomo, G.; Favorito, M.; Silo, L. - 04b Atto di convegno in volume
congresso: OVERLAY 2023 Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2023 (Roma)
libro: Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2023 - ()
11573/1682754 - 2023 -
AIDA: A Tool for Resiliency in Smart Manufacturing De Giacomo, Giuseppe; Favorito, Marco; Leotta, Francesco; Mecella, Massimo; Monti, Flavia; Silo, Luciana - 04b Atto di convegno in volume
congresso: 35th International Conference on Advanced Information Systems Engineering, CAiSE'23 (Zaragoza, Spain)
libro: Intelligent Information Systems CAiSE 2023 - (978-3-031-34673-6; 978-3-031-34674-3)
11573/1679638 - 2023 -
Digital twins composition in smart manufacturing via Markov decision processes De Giacomo, Giuseppe; Favorito, Marco; Leotta, Francesco; Mecella, Massimo; Silo, Luciana - 01a Articolo in rivista
rivista: COMPUTERS IN INDUSTRY (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. - - issn: 0166-3615 - wos: WOS:000981685900001 (3) - scopus: 2-s2.0-85152136496 (10)
11573/1689330 - 2023 -
On the Suitability of AI for Service-based Adaptive Supply Chains in Smart Manufacturing Monti, Flavia; Silo, Luciana; Leotta, Francesco; Mecella, Massimo - 04b Atto di convegno in volume
congresso: IEEE International Conference on Web Services (Chicago, USA)
libro: 2023 IEEE International Conference on Web Services (ICWS) - (979-8-3503-0485-5)
11573/1690329 - 2023 -
Services in Smart Manufacturing: Comparing Automated Reasoning Techniques for Composition and Orchestration Monti, Flavia; Silo, Luciana; Leotta, Francesco; Mecella, Massimo - 04b Atto di convegno in volume
congresso: 17th Symposium and Summer School, SummerSOC 2023 (Heraklion, Crete, Greece)
libro: Service-Oriented Computing - (978-3-031-45727-2; 978-3-031-45728-9)
11573/1687748 - 2023 -
Agent Behavior Composition in Stochastic Settings Silo, Luciana - 04b Atto di convegno in volume
congresso: EUMAS 2023, European Conference of Multi-Agents Systems Conference (Napoli, Università Federico II)
libro: EUMAS 2023: Multi-Agent Systems - ()
11573/1663267 - 2022 -
Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes De Giacomo, Giuseppe; Favorito, Marco; Leotta, Francesco; Mecella, Massimo; Silo, Luciana - 04b Atto di convegno in volume
congresso: Wokshop PMAI - 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022) (Wien; Austria)
libro: PMAI 2022. Process Management in the AI Era 2022 - ()
11573/1611250 - 2021 -
Digital Twins Composition via Markov Decision Processes De Giacomo, G.; Favorito, M.; Leotta, F.; Mecella, M.; Silo, L. - 04d Abstract in atti di convegno
congresso: 1st Italian Forum on Business Process Management, ITBPM 2021 (Rome; Italy)
libro: CEUR Workshop Proceedings - ()