Marco Favorito
Membro di
Awards
Ultime pubblicazioni
Composition of Stochastic Services for LTLf Goal Specifications on Foundations of Information and Knowledge Systems | 2024 |
AIDA: A Tool for Resiliency in Smart Manufacturing on Intelligent Information Systems CAiSE 2023 | 2023 |
Digital twins composition in smart manufacturing via Markov decision processes on COMPUTERS IN INDUSTRY | 2023 |
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping on Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 | 2023 |
FOND Planning for Pure-Past Linear Temporal Logic Goals on 26th European Conference on Artificial Intelligence | 2023 |
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic on Vol. 33 No. 1: Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling | 2023 |
A PoW-less Bitcoin with Certified Byzantine Consensus on | 2022 |