3 papers
cs.AI2026
Infinite Trace Objectives with Finite Trace Techniques: Translating LTL to LTLf+
Christoph Weinhuber, Maximilian Prokop, Giuseppe De Giacomo +1
Linear Temporal Logic (LTL) is one of the most widely adopted languages for specifying temporal extended objectives in AI, with applications ranging from reactive synthesis to stoc…
cs.AI2026
Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions
Alessandro Abate, Giuseppe De Giacomo, Mathias Jackermeier +3
We study multi-task reinforcement learning (RL), a setting in which an agent learns a single, universal policy capable of generalising to arbitrary, possibly unseen tasks. We consi…
cs.LO2023
Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications
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). We study the problem in t…