@InProceedings{SBB+24,
author={Marnix Suilen and Thom Badings and Eline M. Bovy and David Parker and Nils Jansen},
title={Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet},
booktitle={Principles of Verification: Cycling the Probabilistic Landscape},
year={2024},

editors={},
pages={126–154},
organization={},
publisher={Springer},
series={LNCS},
volume={15262},
address={},
month={},
note={},
key={}
}