Marco Favorito

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 44

Top Topics

Temporally Extended Goals

Markov Decision Process

Reinforcement Learning Agents

Top Venues

Publications

Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger
Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-Based Architectures. PADL (2024)
Giuseppe De Giacomo, Marco Favorito, Luciana Silo
Goal Specifications. FoIKS (2024)
Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli
Self-Balancing Semi-Hierarchical Payment Channel Networks for Central Bank Digital Currencies. PerCom Workshops (2024)
Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli
Self-Balancing Semi-Hierarchical PCNs for CBDCs. CoRR (2024)
Aldo Glielmo, Marco Favorito, Debmallya Chanda, Domenico Delli Gatti
Reinforcement Learning for Combining Search Methods in the Calibration of Economic ABMs. ICAIF (2023)
Marco Favorito
Synthesis. EUMAS (2023)
Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli
Certified Byzantine Consensus with Confidential Quorum for a Bitcoin-derived Permissioned DLT. DLT (2023)
Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo
Digital twin composition in smart manufacturing via Markov decision processes. Comput. Ind. 149 (2023)
Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala
FOND Planning for Pure-Past Linear Temporal Logic Goals. ECAI (2023)
Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping. AAAI (2023)
Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Flavia Monti, Luciana Silo
AIDA: A Tool for Resiliency in Smart Manufacturing. CAiSE Forum (2023)
Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic. ICAPS (2023)
Marco Benedetti, Marco Favorito, Matteo Nardelli
Orchestration of Blockchain-based Digital Twins. DLT (2023)
Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger
Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-based Architectures (technical report). CoRR (2023)
Giuseppe De Giacomo, Marco Favorito, Luciana Silo
Composition of Nondeterministic Services for LTLf Task Specification. OVERLAY@AI*IA (2023)
Aldo Glielmo, Marco Favorito, Debmallya Chanda, Domenico Delli Gatti
Combining search strategies to improve performance in the calibration of economic ABMs. CoRR (2023)
Marco Favorito
Forward LTLf Synthesis: DPLL At Work. IPS-RCRA-SPIRIT@AI*IA (2023)
Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli
PoW-less Bitcoin with Confidential Byzantine PoA. ICBC (2023)
Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping. CoRR (2023)
Marco Favorito
Forward LTLf Synthesis: DPLL At Work. CoRR (2023)
Giuseppe De Giacomo, Marco Favorito, Fabio Patrizi
Clock Specifications for Temporal Tasks in Planning and Learning. OVERLAY@AI*IA (2023)
Giuseppe De Giacomo, Marco Favorito, Luciana Silo
Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications. CoRR (2023)
Marco Favorito
Forward LTLf Synthesis: DPLL At Work. OVERLAY@AI*IA (2023)
Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger
On the Relationship between Shy and Warded Datalog+/-. CoRR (2022)
Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo
Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes. PMAI@IJCAI (2022)
Marco Benedetti, Gennaro Catapano, Francesco De Sclavis, Marco Favorito, Aldo Glielmo, Davide Magnanimi, Antonio Muci
Black-it: A Ready-to-Use and Easy-to-Extend Calibration Kit for Agent-based Models. J. Open Source Softw. 7 (79) (2022)
Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger
On the Relationship between Shy and Warded Datalog+/-. KR (2022)
Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli
A PoW-less Bitcoin with Certified Byzantine Consensus. CoRR (2022)
Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning. CoRR (2022)
Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work. IJCAI (2022)
David Minarsch, Marco Favorito, Seyed Ali Hosseini, Yuri Turchenkov, Jonathan Ward
Autonomous Economic Agent Framework. EMAS@AAMAS (2021)
Giuseppe De Giacomo, Marco Favorito
Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata. ICAPS (2021)
David Minarsch, Seyed Ali Hosseini, Marco Favorito, Jonathan Ward
Trading Agent Competition with Autonomous Economic Agents. ICAART (1) (2021)
Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo
Digital Twins Composition via Markov Decision Processes. ITBPM@BPM (2021)
Seyed Ali Hosseini, David Minarsch, Marco Favorito
A Practical Framework for General Dialogue-Based Bilateral Interactions. EMAS@AAMAS (2021)
Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
Imitation Learning over Heterogeneous Agents with Restraining Bolts. ICAPS (2020)
Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi
Restraining Bolts for Reinforcement Learning Agents. AAAI (2020)
Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi, Alessandro Ronca
Temporal Logic Monitoring Rewards via Transducers. KR (2020)
Marco Favorito
Standard Grammars for LTL and LDL (v0.1.0). CoRR (2020)
David Minarsch, Marco Favorito, Ali Hosseini, Jonathan Ward
Trading Agent Competition with Autonomous Economic Agents. AAMAS (2020)
David Minarsch, Seyed Ali Hosseini, Marco Favorito, Jonathan Ward
Autonomous Economic Agents as a Second Layer Technology for Blockchains: Framework Introduction and Use-Case Demonstration. CVCBT (2020)
Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications. ICAPS (2019)
Seyed Ali Hosseini, Diarmid Campbell, Marco Favorito, Jonathan Ward
Peer-to-Peer Negotiation for Optimising Journeys of Electric Vehicles on a Tour of Europe. AAMAS (2019)
Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi
Reinforcement Learning for LTLf/LDLf Goals. CoRR (2018)