@PhDThesis{Far22,
author={Fatma Faruq},
title={Verified Multi-Robot Planning Under Uncertainty},
school={School of Computer Science, University of Birmingham},
year={2022},

type={},
address={},
month={},
note={},
key={}
}