Showing 2026Show all
3 papers · 1 filter
cs.LG2026
Robust Parameter Learning for Uncertain MDPs
Yannik Schnitzer, Alessandro Abate, David Parker
Learning-based approaches to verifying unknown Markov decision processes (MDPs) often employ uncertain MDPs. These models use, for example, confidence intervals to capture transiti…
cs.LG2026
Probabilistic Performance Guarantees for Multi-Task Reinforcement Learning
Yannik Schnitzer, Mathias Jackermeier, Alessandro Abate +1
Multi-task reinforcement learning trains generalist policies that can execute multiple tasks. While recent years have seen significant progress, existing approaches rarely provide…
cs.AI2026
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…