| 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 | 141 | 2019 |
| 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 | 67 | 2021 |
| 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 | 30 | 2020 |
| Digital twin 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 | 26 | 2023 |
| 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 | 24 | 2020 |
| 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 | 17 | 2022 |
| 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 | 17 | 2020 |
| 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 | 16 | 2023 |
| 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 | 16 | 2020 |
| Autonomous Economic Agent Framework D Minarsch, M Favorito, SA Hosseini, Y Turchenkov, J Ward Engineering Multi-Agent Systems, 2021 | 11 | 2021 |
| On the relationship between shy and warded datalog+/- T Baldazzi, L Bellomarini, M Favorito, E Sallinger arXiv preprint arXiv:2202.06285, 2022 | 9 | 2022 |
| Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning G De Giacomo, M Favorito, F Fuggitti | 9 | 2022 |
| 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 | 7 | 2022 |
| 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 | 7 | 2020 |
| Forward LTLf synthesis: DPLL at work M Favorito arXiv preprint arXiv:2302.13825, 2023 | 6 | 2023 |
| 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 | 6 | 2023 |
| 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 | 6 | 2022 |
| 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 | 5 | 2023 |
| Reinforcement learning for LTLf/LDLf goals: Theory and implementation M Favorito Master's thesis. DIAG, Sapienza Univ. Rome, 2018 | 5 | 2018 |
| 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 | 4 | 2023 |
Giuseppe De GiacomoUniversity of Oxford & Sapienza Università di RomaVerified email at diag.uniroma1.it
