Marco Favorito
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
12
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | PERCOM | Strategic Reasoning of BitML Smart Contracts using the MCMAS Model Checker. | Luigi Bellomarini, Marco Favorito, Giuseppe Galano |
| 2025 | TACAS | LydiaSyft: A Compositional Symbolic Synthesis Framework for LTL | Shufang Zhu, Marco Favorito |
| 2024 | IJCAI | Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract). | Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala |
| 2024 | PADL | Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-Based Architectures. | Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger |
| 2024 | PERCOM | Self-Balancing Semi-Hierarchical Payment Channel Networks for Central Bank Digital Currencies. | Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli |
| 2023 | AAAI | Exploiting Multiple Abstractions in Episodic RL via Reward Shaping. | Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi |
| 2023 | CaiSE | AIDA: A Tool for Resiliency in Smart Manufacturing. | Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Flavia Monti, Luciana Silo |
| 2023 | ECAI | FOND Planning for Pure-Past Linear Temporal Logic Goals. | Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala |
| 2023 | EUMAS | Efficient Algorithms for LTL | Marco Favorito |
| 2022 | IJCAI | Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes. | Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo |
| 2022 | IJCAI | LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work. | Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu |
| 2022 | KR | On the Relationship between Shy and Warded Datalog+/-. | Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger |
| 2021 | BPM | Digital Twins Composition via Markov Decision Processes. | Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo |
| 2021 | EMAS | A Practical Framework for General Dialogue-Based Bilateral Interactions. | Seyed Ali Hosseini, David Minarsch, Marco Favorito |
| 2021 | EMAS | Autonomous Economic Agent Framework. | David Minarsch, Marco Favorito, Seyed Ali Hosseini, Yuri Turchenkov, Jonathan Ward |
| 2021 | ICAART | Trading Agent Competition with Autonomous Economic Agents. | David Minarsch, Seyed Ali Hosseini, Marco Favorito, Jonathan Ward |
| 2020 | AAAI | Restraining Bolts for Reinforcement Learning Agents. | Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi |
| 2020 | KR | Temporal Logic Monitoring Rewards via Transducers. | Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi, Alessandro Ronca |