@Article{KNP22,
author={Marta Kwiatkowska and Gethin Norman and David Parker},
title={Probabilistic Model Checking and Autonomy},
journal={Annual Review of Control, Robotics, and Autonomous Systems},
year={2022},

volume={5},
number={},
pages={385-410},
publisher={Annual Reviews},
month={},
note={},
key={}
}