@InProceedings{SAP25,
author={Yannik Schnitzer and Alessandro Abate and David Parker},
title={Learning Provably Robust Policies in Uncertain Parametric Environments},
booktitle={Proc. 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'25)},
year={2025},

editors={},
pages={63-83},
organization={},
publisher={Springer},
series={LNCS},
volume={15698},
address={},
month={},
note={},
key={}
}