Marco Favorito

According to our database, Marco Favorito authored at least 40 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Self-Balancing Semi-Hierarchical PCNs for CBDCs.

Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli

CoRR, 2024

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

Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2024

Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-Based Architectures.

Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger

Proceedings of the Practical Aspects of Declarative Languages, 2024

Composition of Stochastic Services for LTL_f Goal Specifications.

Giuseppe De Giacomo, Marco Favorito, Luciana Silo

Proceedings of the Foundations of Information and Knowledge Systems, 2024

2023

Digital twin composition in smart manufacturing via Markov decision processes.

Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo

Comput. Ind., August, 2023

Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications.

Giuseppe De Giacomo, Marco Favorito, Luciana Silo

CoRR, 2023

Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-based Architectures (technical report).

Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger

CoRR, 2023

Combining search strategies to improve performance in the calibration of economic ABMs.

Aldo Glielmo, Marco Favorito, Debmallya Chanda, Domenico Delli Gatti

CoRR, 2023

Composition of Nondeterministic Services for LTLf Task Specification.

Giuseppe De Giacomo, Marco Favorito, Luciana Silo

Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023

Clock Specifications for Temporal Tasks in Planning and Learning.

Giuseppe De Giacomo, Marco Favorito, Fabio Patrizi

Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023

Forward LTLf Synthesis: DPLL At Work.

Marco Favorito

Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023

PoW-less Bitcoin with Confidential Byzantine PoA.

Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023

Reinforcement Learning for Combining Search Methods in the Calibration of Economic ABMs.

Aldo Glielmo, Marco Favorito, Debmallya Chanda, Domenico Delli Gatti

Proceedings of the 4th ACM International Conference on AI in Finance, 2023

Efficient Algorithms for LTL_f Synthesis.

Marco Favorito

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

FOND Planning for Pure-Past Linear Temporal Logic Goals.

Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Certified Byzantine Consensus with Confidential Quorum for a Bitcoin-derived Permissioned DLT.

Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli

Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), 2023

Orchestration of Blockchain-based Digital Twins.

Marco Benedetti, Marco Favorito, Matteo Nardelli

Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), 2023

AIDA: A Tool for Resiliency in Smart Manufacturing.

Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Flavia Monti, Luciana Silo

Proceedings of the Intelligent Information Systems, 2023

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic.

Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Exploiting Multiple Abstractions in Episodic RL via Reward Shaping.

Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Black-it: A Ready-to-Use and Easy-to-Extend Calibration Kit for Agent-based Models.

Marco Benedetti, Gennaro Catapano, Francesco De Sclavis, Marco Favorito, Aldo Glielmo, Davide Magnanimi, Antonio Muci

J. Open Source Softw., November, 2022

A PoW-less Bitcoin with Certified Byzantine Consensus.

Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli

CoRR, 2022

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning.

Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti

CoRR, 2022

On the Relationship between Shy and Warded Datalog+/-.

Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

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

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

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

Proceedings of the Workshop on Process Management in the AI Era (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), 2022

2021

Trading Agent Competition with Autonomous Economic Agents.

David Minarsch, Seyed Ali Hosseini, Marco Favorito, Jonathan Ward

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

Autonomous Economic Agent Framework.

David Minarsch, Marco Favorito, Seyed Ali Hosseini, Yuri Turchenkov, Jonathan Ward

Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

A Practical Framework for General Dialogue-Based Bilateral Interactions.

Seyed Ali Hosseini, David Minarsch, Marco Favorito

Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

Digital Twins Composition via Markov Decision Processes.

Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo

Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021), 2021

Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata.

Giuseppe De Giacomo, Marco Favorito

Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

2020

Standard Grammars for LTL and LDL (v0.1.0).

Marco Favorito

CoRR, 2020

Temporal Logic Monitoring Rewards via Transducers.

Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi, Alessandro Ronca

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Autonomous Economic Agents as a Second Layer Technology for Blockchains: Framework Introduction and Use-Case Demonstration.

David Minarsch, Seyed Ali Hosseini, Marco Favorito, Jonathan Ward

Proceedings of the Crypto Valley Conference on Blockchain Technology, 2020

Trading Agent Competition with Autonomous Economic Agents.

David Minarsch, Marco Favorito, Ali Hosseini, Jonathan Ward

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Imitation Learning over Heterogeneous Agents with Restraining Bolts.

Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

Restraining Bolts for Reinforcement Learning Agents.

Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Peer-to-Peer Negotiation for Optimising Journeys of Electric Vehicles on a Tour of Europe.

Seyed Ali Hosseini, Diarmid Campbell, Marco Favorito, Jonathan Ward

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications.

Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018

Reinforcement Learning for LTLf/LDLf Goals.

Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi

CoRR, 2018