Marco Favorito
Membro di
Awards
Ultime pubblicazioni
Composition of Stochastic Services for LTLf Goal Specifications in Foundations of Information and Knowledge Systems | 2024 |
AIDA: A Tool for Resiliency in Smart Manufacturing in Intelligent Information Systems CAiSE 2023 | 2023 |
Digital twins composition in smart manufacturing via Markov decision processes in COMPUTERS IN INDUSTRY | 2023 |
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping in Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 | 2023 |
FOND Planning for Pure-Past Linear Temporal Logic Goals in 26th European Conference on Artificial Intelligence | 2023 |
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic in 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 in | 2022 |