1 citations · 1 across the 4 of their papers we have counts for
4 papers
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…
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…
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…
Automata Cascades: Expressivity and Sample Complexity
Alessandro Ronca, Nadezda Alexandrovna Knorozova, Giuseppe De Giacomo
Every automaton can be decomposed into a cascade of basic prime automata. This is the Prime Decomposition Theorem by Krohn and Rhodes. Guided by this theory, we propose automata ca…