Marco Favorito | Ricerc@Sapienza

Pubblicazioni

Titolo	Pubblicato in	Anno
Composition of Stochastic Services for LTLf Goal Specifications	Foundations of Information and Knowledge Systems	2024
LTLf Goal-oriented Service Composition	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)	2024
Orchestration of Services in Smart Manufacturing through Automated Synthesis	IEEE TRANSACTIONS ON SERVICES COMPUTING	2024
Digital twins composition in smart manufacturing via Markov decision processes	COMPUTERS IN INDUSTRY	2023
AIDA: A Tool for Resiliency in Smart Manufacturing	Intelligent Information Systems CAiSE 2023	2023
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic	Vol. 33 No. 1: Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling	2023
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping	Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023	2023
FOND Planning for Pure-Past Linear Temporal Logic Goals	26th European Conference on Artificial Intelligence	2023
Composition of Nondeterministic Services for LTLf Task Specification		2023
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning		2022
A PoW-less Bitcoin with Certified Byzantine Consensus		2022
On the Relationship between Shy and Warded Datalog+/-		2022
Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes	PMAI 2022 - Process Management in the AI Era 2022	2022
Digital Twins Composition via Markov Decision Processes	CEUR Workshop Proceedings	2021
Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata	Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021	2021
Autonomous Economic Agent Framework	Engineering Multi-Agent Systems	2021
A Practical Framework for General Dialogue-Based Bilateral Interactions	Engineering Multi-Agent Systems	2021
Trading Agent Competition with Autonomous Economic Agents	Proceedings of the 13th International Conference on Agents and Artificial Intelligence (ICAART 2021)	2021
Trading Agent Competition with Autonomous Economic Agents	Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems	2020
Imitation Learning over Heterogeneous Agents with Restraining Bolts	Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS)	2020