3 papers
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.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…
cs.LG2025
Efficient Solution and Learning of Robust Factored MDPs
Yannik Schnitzer, Alessandro Abate, David Parker
Robust Markov decision processes (r-MDPs) extend MDPs by explicitly modelling epistemic uncertainty about transition dynamics. Learning r-MDPs from interactions with an unknown env…