Reinforcement Learning for LTLf/LDLf Goals. - Giuseppe De Giacomo; Luca Iocchi; Marco Favorito; Fabio Patrizi (CoRR, 2018)

Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications. - Giuseppe De Giacomo; Luca Iocchi; Marco Favorito; Fabio Patrizi (ICAPS, 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 (AAMAS, 2019)

Restraining Bolts for Reinforcement Learning Agents. - Giuseppe De Giacomo; Luca Iocchi; Marco Favorito; Fabio Patrizi (AAAI, 2020)

Imitation Learning over Heterogeneous Agents with Restraining Bolts. - Giuseppe De Giacomo; Marco Favorito; Luca Iocchi; Fabio Patrizi (ICAPS, 2020)

Trading Agent Competition with Autonomous Economic Agents. - David Minarsch; Marco Favorito; Ali Hosseini; Jonathan Ward (AAMAS, 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 (CVCBT, 2020)

Temporal Logic Monitoring Rewards via Transducers. - Giuseppe De Giacomo; Marco Favorito; Luca Iocchi; Fabio Patrizi; Alessandro Ronca (KR, 2020)

Standard Grammars for LTL and LDL (v0.1.0). - Marco Favorito (CoRR, 2020)

Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata. - Giuseppe De Giacomo; Marco Favorito (ICAPS, 2021)

Digital Twins Composition via Markov Decision Processes. - Giuseppe De Giacomo; Marco Favorito; Francesco Leotta; Massimo Mecella; Luciana Silo (ITBPM@BPM, 2021)

A Practical Framework for General Dialogue-Based Bilateral Interactions. - Seyed Ali Hosseini; David Minarsch; Marco Favorito (EMAS@AAMAS, 2021)

Autonomous Economic Agent Framework. - David Minarsch; Marco Favorito; Seyed Ali Hosseini; Yuri Turchenkov; Jonathan Ward (EMAS@AAMAS, 2021)

Trading Agent Competition with Autonomous Economic Agents. - David Minarsch; Seyed Ali Hosseini; Marco Favorito; Jonathan Ward (ICAART (1), 2021)

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 (PMAI@IJCAI, 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 001 (IJCAI, 2022)

On the Relationship between Shy and Warded Datalog+/-. - Teodoro Baldazzi; Luigi Bellomarini; Marco Favorito; Emanuel Sallinger (KR, 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)

A PoW-less Bitcoin with Certified Byzantine Consensus. - Marco Benedetti; Francesco De Sclavis; Marco Favorito; Giuseppe Galano; Sara Giammusso; Antonio Muci; Matteo Nardelli 001 (CoRR, 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., 2022)

Exploiting Multiple Abstractions in Episodic RL via Reward Shaping. - Roberto Cipollone 002; Giuseppe De Giacomo; Marco Favorito; Luca Iocchi; Fabio Patrizi (AAAI, 2023)

Forward LTLf Synthesis: DPLL At Work. - Marco Favorito (IPS-RCRA-SPIRIT@AI*IA, 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 (ICAPS, 2023)

AIDA: A Tool for Resiliency in Smart Manufacturing. - Giuseppe De Giacomo; Marco Favorito; Francesco Leotta; Massimo Mecella; Flavia Monti; Luciana Silo (CAiSE Forum, 2023)

Orchestration of Blockchain-based Digital Twins. - Marco Benedetti; Marco Favorito; Matteo Nardelli 001 (DLT, 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 001 (DLT, 2023)

FOND Planning for Pure-Past Linear Temporal Logic Goals. - Luigi Bonassi; Giuseppe De Giacomo; Marco Favorito; Francesco Fuggitti; Alfonso Emilio Gerevini; Enrico Scala (ECAI, 2023)

Efficient Algorithms for LTLf Synthesis. - Marco Favorito (EUMAS, 2023)

Reinforcement Learning for Combining Search Methods in the Calibration of Economic ABMs. - Aldo Glielmo; Marco Favorito; Debmallya Chanda; Domenico Delli Gatti (ICAIF, 2023)

PoW-less Bitcoin with Confidential Byzantine PoA. - Marco Benedetti; Francesco De Sclavis; Marco Favorito; Giuseppe Galano; Sara Giammusso; Antonio Muci; Matteo Nardelli 001 (ICBC, 2023)

Clock Specifications for Temporal Tasks in Planning and Learning. - Giuseppe De Giacomo; Marco Favorito; Fabio Patrizi (OVERLAY@AI*IA, 2023)

Composition of Nondeterministic Services for LTLf Task Specification. - Giuseppe De Giacomo; Marco Favorito; Luciana Silo (OVERLAY@AI*IA, 2023)

Combining search strategies to improve performance in the calibration of economic ABMs. - Aldo Glielmo; Marco Favorito; Debmallya Chanda; Domenico Delli Gatti (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)

Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications. - Giuseppe De Giacomo; Marco Favorito; Luciana Silo (CoRR, 2023)

Digital twin composition in smart manufacturing via Markov decision processes. - Giuseppe De Giacomo; Marco Favorito; Francesco Leotta; Massimo Mecella; Luciana Silo (Comput. Ind., 2023)

Regular Clocks for Temporal Task Specifications in Reinforcement Learning. - Giuseppe De Giacomo; Marco Favorito; Fabio Patrizi (AI*IA, 2024)

Towards FATEful Smart Contracts. - Luigi Bellomarini; Marco Favorito; Eleonora Laurenza; Markus Nissl; Emanuel Sallinger (DLT, 2024)

Composition of Stochastic Services for LTLf Goal Specifications. - Giuseppe De Giacomo; Marco Favorito; Luciana Silo (FoIKS, 2024)

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 (IJCAI, 2024)

Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-Based Architectures. - Teodoro Baldazzi; Luigi Bellomarini; Marco Favorito; Emanuel Sallinger (PADL, 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 001 (PerCom Workshops, 2024)

LTLf Goal-oriented Service Composition. - Giuseppe De Giacomo; Marco Favorito; Luciana Silo (PMAI@ECAI, 2024)

Strategic Reasoning for BitML Smart Contracts. - Luigi Bellomarini; Marco Favorito; Giuseppe Galano (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)

Self-Balancing Semi-Hierarchical PCNs for CBDCs. - Marco Benedetti; Francesco De Sclavis; Marco Favorito; Giuseppe Galano; Sara Giammusso; Antonio Muci; Matteo Nardelli 001 (CoRR, 2024)

Orchestration of Services in Smart Manufacturing Through Automated Synthesis. - Flavia Monti; Luciana Silo; Marco Favorito; Giuseppe De Giacomo; Francesco Leotta; Massimo Mecella (IEEE Trans. Serv. Comput., 2024)

BitML2MCMAS: Strategic Reasoning for Bitcoin Smart Contracts. - Luigi Bellomarini; Marco Favorito; Giuseppe Galano (AAMAS, 2025)

Strategic Reasoning of BitML Smart Contracts using the MCMAS Model Checker. - Luigi Bellomarini; Marco Favorito; Giuseppe Galano (PerCom Workshops, 2025)

LydiaSyft: A Compositional Symbolic Synthesis Framework for LTLf Specifications. - Shufang Zhu 001; Marco Favorito (TACAS (1), 2025)

An analysis of pervasive payment channel networks for Central Bank Digital Currencies. - Marco Benedetti; Francesco De Sclavis; Marco Favorito; Giuseppe Galano; Sara Giammusso; Antonio Muci; Matteo Nardelli 001 (Comput. Commun., 2025)

Service composition for ltl task specifications. - Giuseppe De Giacomo; Marco Favorito; Luciana Silo (Inf. Syst., 2025)

Exploiting robot abstractions in episodic RL via reward shaping and heuristics. - Roberto Cipollone 002; Marco Favorito; Flavio Maiorana; Giuseppe De Giacomo; Luca Iocchi; Fabio Patrizi (Robotics Auton. Syst., 2025)