Marco Favorito

58 papers A* 10A 4C 6Journal 18Unranked 20
YearRankTypeTitle / Venue / Authors
2025 J jnl
An analysis of pervasive payment channel networks for Central Bank Digital Currencies.
Comput. Commun.
Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli
2025 A conf
BitML2MCMAS: Strategic Reasoning for Bitcoin Smart Contracts.
AAMAS
Luigi Bellomarini, Marco Favorito, Giuseppe Galano
2025 J jnl
Exploiting robot abstractions in episodic RL via reward shaping and heuristics.
Robotics Auton. Syst.
Roberto Cipollone, Marco Favorito, Flavio Maiorana, Giuseppe De Giacomo, Luca Iocchi, Fabio Patrizi
2025 — conf
LydiaSyft: A Compositional Symbolic Synthesis Framework for LTL
TACAS (1)
Shufang Zhu, Marco Favorito
2025 J jnl
Planning for temporally extended goals in pure-past linear temporal logic.
Artif. Intell.
Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala
2025 J jnl
Service composition for ltl task specifications.
Inf. Syst.
Giuseppe De Giacomo, Marco Favorito, Luciana Silo
2025 — conf
Strategic Reasoning of BitML Smart Contracts using the MCMAS Model Checker.
PerCom Workshops
Luigi Bellomarini, Marco Favorito, Giuseppe Galano
2024 — conf
Composition of Stochastic Services for LTL
FoIKS
Giuseppe De Giacomo, Marco Favorito, Luciana Silo
2024 — conf
LTLf Goal-oriented Service Composition.
PMAI@ECAI
Giuseppe De Giacomo, Marco Favorito, Luciana Silo
2024 C conf
Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-Based Architectures.
PADL
Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger
2024 J jnl
Orchestration of Services in Smart Manufacturing Through Automated Synthesis.
IEEE Trans. Serv. Comput.
Flavia Monti, Luciana Silo, Marco Favorito, Giuseppe De Giacomo, Francesco Leotta, Massimo Mecella
2024 A* conf
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract).
IJCAI
Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala
2024 — conf
Regular Clocks for Temporal Task Specifications in Reinforcement Learning.
AI*IA
Giuseppe De Giacomo, Marco Favorito, Fabio Patrizi
2024 J jnl
Self-Balancing Semi-Hierarchical PCNs for CBDCs.
CoRR
Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli
2024 — conf
Self-Balancing Semi-Hierarchical Payment Channel Networks for Central Bank Digital Currencies.
PerCom Workshops
Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli
2024 — conf
Strategic Reasoning for BitML Smart Contracts.
AI4CC-IPS-RCRA-SPIRIT@AI*IA
Luigi Bellomarini, Marco Favorito, Giuseppe Galano
2024 — conf
Towards FATEful Smart Contracts.
AMW
Luigi Bellomarini, Marco Favorito, Eleonora Laurenza, Markus Nissl, Emanuel Sallinger
2024 C conf
Towards FATEful Smart Contracts.
DLT
Luigi Bellomarini, Marco Favorito, Eleonora Laurenza, Markus Nissl, Emanuel Sallinger
2023 — conf
AIDA: A Tool for Resiliency in Smart Manufacturing.
CAiSE Forum
Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Flavia Monti, Luciana Silo
2023 C conf
Certified Byzantine Consensus with Confidential Quorum for a Bitcoin-derived Permissioned DLT.
DLT
Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli
2023 — conf
Clock Specifications for Temporal Tasks in Planning and Learning.
OVERLAY@AI*IA
Giuseppe De Giacomo, Marco Favorito, Fabio Patrizi
2023 J jnl
Combining search strategies to improve performance in the calibration of economic ABMs.
CoRR
Aldo Glielmo, Marco Favorito, Debmallya Chanda, Domenico Delli Gatti
2023 — conf
Composition of Nondeterministic Services for LTLf Task Specification.
OVERLAY@AI*IA
Giuseppe De Giacomo, Marco Favorito, Luciana Silo
2023 J jnl
Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications.
CoRR
Giuseppe De Giacomo, Marco Favorito, Luciana Silo
2023 J jnl
Digital twin composition in smart manufacturing via Markov decision processes.
Comput. Ind.
Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo
2023 C conf
Efficient Algorithms for LTL
EUMAS
Marco Favorito
2023 A* conf
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping.
AAAI
Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
2023 J jnl
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping.
CoRR
Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
2023 A conf
FOND Planning for Pure-Past Linear Temporal Logic Goals.
ECAI
Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala
2023 — conf
Forward LTLf Synthesis: DPLL At Work.
IPS-RCRA-SPIRIT@AI*IA
Marco Favorito
2023 — conf
Forward LTLf Synthesis: DPLL At Work.
OVERLAY@AI*IA
Marco Favorito
2023 J jnl
Forward LTLf Synthesis: DPLL At Work.
CoRR
Marco Favorito
2023 J jnl
Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-based Architectures (technical report).
CoRR
Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger
2023 C conf
Orchestration of Blockchain-based Digital Twins.
DLT
Marco Benedetti, Marco Favorito, Matteo Nardelli
2023 A* conf
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic.
ICAPS
Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala
2023 C conf
PoW-less Bitcoin with Confidential Byzantine PoA.
ICBC
Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli
2023 — conf
Reinforcement Learning for Combining Search Methods in the Calibration of Economic ABMs.
ICAIF
Aldo Glielmo, Marco Favorito, Debmallya Chanda, Domenico Delli Gatti
2022 J jnl
A PoW-less Bitcoin with Certified Byzantine Consensus.
CoRR
Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli
2022 J jnl
Black-it: A Ready-to-Use and Easy-to-Extend Calibration Kit for Agent-based Models.
J. Open Source Softw.
Marco Benedetti, Gennaro Catapano, Francesco De Sclavis, Marco Favorito, Aldo Glielmo, Davide Magnanimi, Antonio Muci
2022 A* conf
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work.
IJCAI
Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu
2022 — conf
Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes.
PMAI@IJCAI
Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo
2022 A* conf
On the Relationship between Shy and Warded Datalog+/-.
KR
Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger
2022 J jnl
On the Relationship between Shy and Warded Datalog+/-.
CoRR
Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger
2022 J jnl
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning.
CoRR
Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti
2021 — conf
A Practical Framework for General Dialogue-Based Bilateral Interactions.
EMAS@AAMAS
Seyed Ali Hosseini, David Minarsch, Marco Favorito
2021 — conf
Autonomous Economic Agent Framework.
EMAS@AAMAS
David Minarsch, Marco Favorito, Seyed Ali Hosseini, Yuri Turchenkov, Jonathan Ward
2021 A* conf
Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata.
ICAPS
Giuseppe De Giacomo, Marco Favorito
2021 — conf
Digital Twins Composition via Markov Decision Processes.
ITBPM@BPM
Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo
2021 — conf
Trading Agent Competition with Autonomous Economic Agents.
ICAART (1)
David Minarsch, Seyed Ali Hosseini, Marco Favorito, Jonathan Ward
2020 — conf
Autonomous Economic Agents as a Second Layer Technology for Blockchains: Framework Introduction and Use-Case Demonstration.
CVCBT
David Minarsch, Seyed Ali Hosseini, Marco Favorito, Jonathan Ward
2020 A* conf
Imitation Learning over Heterogeneous Agents with Restraining Bolts.
ICAPS
Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
2020 A* conf
Restraining Bolts for Reinforcement Learning Agents.
AAAI
Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi
2020 J jnl
Standard Grammars for LTL and LDL (v0.1.0).
CoRR
Marco Favorito
2020 A* conf
Temporal Logic Monitoring Rewards via Transducers.
KR
Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi, Alessandro Ronca
2020 A conf
Trading Agent Competition with Autonomous Economic Agents.
AAMAS
David Minarsch, Marco Favorito, Ali Hosseini, Jonathan Ward
2019 A* conf
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications.
ICAPS
Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi
2019 A conf
Peer-to-Peer Negotiation for Optimising Journeys of Electric Vehicles on a Tour of Europe.
AAMAS
Seyed Ali Hosseini, Diarmid Campbell, Marco Favorito, Jonathan Ward
2018 J jnl
Reinforcement Learning for LTLf/LDLf Goals.
CoRR
Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi