Follow
Marco Favorito
Marco Favorito
Verified email at bancaditalia.it - Homepage
Title
Cited by
Cited by
Year
Foundations for restraining bolts: Reinforcement learning with LTLf/LDLf restraining specifications
G De Giacomo, L Iocchi, M Favorito, F Patrizi
Proceedings of the International Conference on Automated Planning and …, 2019
1292019
Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata
G De Giacomo, M Favorito
Proceedings of the 31st International Conference on Automated Planning and …, 2021
612021
Temporal Logic Monitoring Rewards via Transducers
G De Giacomo, M Favorito, L Iocchi, F Patrizi, A Ronca
Proceedings of the International Conference on Principles of Knowledge …, 2020
232020
Digital twins composition in smart manufacturing via Markov decision processes
G De Giacomo, M Favorito, F Leotta, M Mecella, L Silo
Computers in Industry 149, 103916, 2023
192023
Restraining bolts for Reinforcement Learning agents
G De Giacomo, L Iocchi, M Favorito, F Patrizi
Proceedings of the AAAI Conference on Artificial Intelligence 34 (9), 13659 …, 2020
182020
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work
G De Giacomo, M Favorito, J Li, MY Vardi, S Xiao, S Zhu
Proceedings of the Thirty-First International Joint Conference on Artificial …, 2022
152022
Autonomous economic agents as a second layer technology for blockchains: Framework introduction and use-case demonstration
D Minarsch, SA Hosseini, M Favorito, J Ward
2020 Crypto Valley Conference on Blockchain Technology (CVCBT), 27-35, 2020
152020
Imitation Learning over Heterogeneous Agents with Restraining Bolts
G De Giacomo, M Favorito, L Iocchi, F Patrizi
Proceedings of the International Conference on Automated Planning and …, 2020
152020
Planning for temporally extended goals in pure-past linear temporal logic
L Bonassi, G De Giacomo, M Favorito, F Fuggitti, AE Gerevini, E Scala
Proceedings of the International Conference on Automated Planning and …, 2023
132023
Autonomous Economic Agent Framework
D Minarsch, M Favorito, SA Hosseini, Y Turchenkov, J Ward
Engineering Multi-Agent Systems, 2021
102021
On the relationship between shy and warded datalog+/-
T Baldazzi, L Bellomarini, M Favorito, E Sallinger
arXiv preprint arXiv:2202.06285, 2022
92022
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning
G De Giacomo, M Favorito, F Fuggitti
92022
Trading Agent Competition with Autonomous Economic Agents
D Minarsch, M Favorito, A Hosseini, J Ward
Proceedings of the International Conference on Autonomous Agents and …, 2020
72020
Black-it: A ready-to-use and easy-to-extend calibration kit for agent-based models
M Benedetti, G Catapano, F De Sclavis, M Favorito, A Glielmo, ...
Journal of Open Source Software 7 (79), 4622, 2022
62022
A pow-less bitcoin with certified byzantine consensus
M Benedetti, F De Sclavis, M Favorito, G Galano, S Giammusso, A Muci, ...
arXiv preprint arXiv:2207.06870, 2022
62022
AIDA: a tool for resiliency in smart manufacturing
G De Giacomo, M Favorito, F Leotta, M Mecella, F Monti, L Silo
International Conference on Advanced Information Systems Engineering, 112-120, 2023
52023
Forward LTLf synthesis: DPLL at work
M Favorito
arXiv preprint arXiv:2302.13825, 2023
52023
FOND Planning for Pure-Past Linear Temporal Logic Goals
L Bonassi, G De Giacomo, M Favorito, F Fuggitti, AE Gerevini, E Scala
ECAI 2023, 279-286, 2023
52023
Reinforcement learning for LTLf/LDLf goals: Theory and implementation
M Favorito
Master's thesis. DIAG, Sapienza Univ. Rome, 2018
52018
Certified Byzantine Consensus with Confidential Quorum for a Bitcoin-derived Permissioned DLT
M Benedetti, F De Sclavis, M Favorito, G Galano, S Giammusso, A Muci, ...
DLT 2023, 2023
32023
The system can't perform the operation now. Try again later.
Articles 1–20