@InProceedings{JJK+18,
author={S. Junges and N. Jansen and J-P. Katoen and U. Topcu and R. Zhang and M. Hayhoe},
title={Model Checking for Safe Navigation Among Humans},
booktitle={Proc. 15th International Conference on Quantitative Evaluation of SysTems (QEST'18)},
year={2018},

editors={},
pages={207-222},
organization={},
publisher={Springer},
series={LNCS},
volume={11024},
address={},
month={},
note={},
key={}
}