5 papers · 1 filter
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…
Formal Foundations of Agentic Business Process Management
Giuseppe De Giacomo, Timotheus Kampik, Lukas Kirchdorfer +2
Just like traditional BPM systems, agentic BPM systems are built around a specification of the process under consideration. Their distinguishing feature, however, is that the execu…
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…
Multi-Property Synthesis
Christoph Weinhuber, Yannik Schnitzer, Alessandro Abate +3
We study LTLf synthesis with multiple properties, where satisfying all properties may be impossible. Instead of enumerating subsets of properties, we compute in one fixed-point com…
Explaining Control Policies through Predicate Decision Diagrams
Debraj Chakraborty, Clemens Dubslaff, Sudeep Kanav +2
Safety-critical controllers of complex systems are hard to construct manually. Automated approaches such as controller synthesis or learning provide a tempting alternative but usua…