1 citations · 1 across the 4 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
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…