Marco Favorito | Ricerc@Sapienza

Pubblicazioni

Titolo	Pubblicato in	Anno
Regular Clocks for Temporal Task Specifications in Reinforcement Learning	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)	2025
Service composition for LTLf task specifications	INFORMATION SYSTEMS	2025
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
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work	IJCAI	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