Search Results for author: Marco Favorito

Found 8 papers, 1 papers with code

Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications

no code implementations29 Nov 2023 Giuseppe De Giacomo, Marco Favorito, Luciana Silo

In this paper, we study the composition of services so as to obtain runs satisfying a task specification in Linear Temporal Logic on finite traces (LTLf).

Service Composition

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

no code implementations20 Nov 2023 Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger

Recent years witnessed a rising interest towards Datalog-based ontological reasoning systems, both in academia and industry.

Exploiting Multiple Abstractions in Episodic RL via Reward Shaping

1 code implementation28 Feb 2023 Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi

One major limitation to the applicability of Reinforcement Learning (RL) to many practical domains is the large number of samples required to learn an optimal policy.

Reinforcement Learning (RL)

Forward LTLf Synthesis: DPLL At Work

no code implementations27 Feb 2023 Marco Favorito

This paper proposes a new AND-OR graph search framework for synthesis of Linear Temporal Logic on finite traces (\LTLf), that overcomes some limitations of previous approaches.

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

no code implementations23 Feb 2023 Aldo Glielmo, Marco Favorito, Debmallya Chanda, Domenico Delli Gatti

In this work, we benchmark a number of search methods in the calibration of a well-known macroeconomic ABM on real data, and further assess the performance of "mixed strategies" made by combining different methods.

reinforcement-learning Reinforcement Learning (RL)

Cannot find the paper you are looking for? You can Submit a new open access paper.