| 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 | 105* | 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 | 39 | 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 | 17 | 2020 |
| 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 | 16 | 2020 |
| 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 | 11 | 2020 |
| 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 | 11 | 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 | 9 | 2022 |
| 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 | 8 | 2023 |
| Autonomous Economic Agent Framework D Minarsch, M Favorito, SA Hosseini, Y Turchenkov, J Ward Engineering Multi-Agent Systems, 2021 | 8 | 2021 |
| On the relationship between shy and warded datalog+/- T Baldazzi, L Bellomarini, M Favorito, E Sallinger arXiv preprint arXiv:2202.06285, 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 | 6 | 2020 |
| Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning G De Giacomo, M Favorito, F Fuggitti | 5 | 2022 |
| Reinforcement learning for LTLf/LDLf goals: Theory and implementation M Favorito Master's thesis. DIAG, Sapienza Univ. Rome, 2018 | 5 | 2018 |
| 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 | 4 | 2022 |
| 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 | 3 | 2023 |
| A Practical Framework for General Dialogue-based Bilateral Interactions SA Hosseini, D Minarsch, M Favorito Engineering Multi-Agent Systems, 2021 | 3 | 2021 |
| Autonomous Economic Agent (AEA) Framework M Favorito, D Minarsch, A Hosseini, A Triantafyllidis, D Campbell, ... | 3 | 2019 |
| 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 | 2 | 2023 |
| Lydia: A tool for compositional LTLf/LDLf synthesis G De Giacomo, M Favorito ICAPS, 2021 | 2 | 2021 |
| Trading Agent Competition with Autonomous Economic Agents. D Minarsch, SA Hosseini, M Favorito, J Ward ICAART (1), 574-582, 2021 | 2 | 2021 |
Giuseppe De GiacomoUniversity of Oxford & Sapienza Università di RomaVerified email at diag.uniroma1.it
