@Article{LFPH19,
author={B. Lacerda and F. Faruq and D. Parker and N. Hawes},
title={Probabilistic planning with formal performance guarantees for mobile service robots},
journal={International Journal of Robotics Research},
year={2019},

volume={},
number={},
pages={},
publisher={Sage Publications},
month={},
note={},
key={}
}