11573/1708913 - 2024 -
Composition of Stochastic Services for LTLf Goal Specifications De Giacomo, Giuseppe; Favorito, Marco; Silo, Luciana - 04b Atto di convegno in volume
conference: 13th International Symposium, FoIKS 2024 (Sheffield, UK)
book: Foundations of Information and Knowledge Systems - (978-3-031-56940-1)
De Giacomo, Giuseppe; Favorito, Marco; Silo, Luciana - 04b Atto di convegno in volume
conference: 3rd International Workshop on Process Management in the AI Era (Santiago De Compostela; Spain)
book: PMAI 2024. Process Management in the AI Era 2024. Proceedings of the 3rd International Workshop on Process Management in the AI Era (PMAI 2024) co-located with 27th European Conference on Artificial Intelligence (ECAI 2024) - ()
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
conference: International Conference on Service Oriented Computing (Roma)
book: Lecture Notes in Computer Science, vol 14518 - (978-981-97-0988-5; 978-981-97-0989-2)
11573/1727103 - 2024 -
Orchestration of Services in Smart Manufacturing through Automated Synthesis Monti, Flavia; Silo, Luciana; Favorito, Marco; De Giacomo, Giuseppe; Leotta, Francesco; Mecella, Massimo - 01a Articolo in rivista
paper: IEEE TRANSACTIONS ON SERVICES COMPUTING (Los Alamitos, CA, USA: Computer Society) pp. 1-14 - issn: 1939-1374 - wos: (0) - scopus: (0)
11573/1701844 - 2023 -
Composition of Nondeterministic Services for LTLf Task Specification De Giacomo, G.; Favorito, M.; Silo, L. - 04b Atto di convegno in volume
conference: OVERLAY 2023 Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2023 (Rome; Italy)
book: OVERLAY 2023. Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2023. Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 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
conference: International Conference on Advanced Information Systems Engineering (Zaragoza, Spain)
book: Intelligent Information Systems - (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
paper: 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 (15) - scopus: 2-s2.0-85152136496 (20)
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
conference: IEEE International Conference on Web Services (Chicago; USA)
book: Proceedings of the 2023 IEEE International Conference on Web Services IEEE ICWS 2023 - (979-8-3503-0485-5; 979-8-3503-0486-2)
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
conference: 17th Symposium and Summer School, SummerSOC 2023 (Heraklion; Crete; Greece)
book: Service-Oriented Computing 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 – July 1, 2023, Revised Selected Papers - (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
conference: EUMAS 2023, European Conference of Multi-Agents Systems Conference (Napoli, Università Federico II)
book: EUMAS 2023: Multi-Agent Systems - (978-3-031-43263-7)
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
conference: Wokshop PMAI - 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022) (Wien; Austria)
book: PMAI 2022. Process Management in the AI Era 2022. Proceedings of the Workshop on Process Management in the AI Era 2022 (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022) - ()
11573/1611250 - 2021 -
Digital Twins Composition via Markov Decision Processes De Giacomo, G.; Favorito, M.; Leotta, F.; Mecella, M.; Silo, L. - 04b Atto di convegno in volume
conference: 1st Italian Forum on Business Process Management, ITBPM 2021 (Rome; Italy)
book: Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021) - ()