[JJK+18] Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang and Mary Hayhoe. Model Checking for Safe Navigation Among Humans. In Proc. 15th International Conference on Quantitative Evaluation of SysTems (QEST'18), volume 11024 of LNCS, pages 207-222, Springer. 2018. [bib] [Applies probabilistic model checking to autonomous system operating alongside uncontrollable agents such as humans, including use of PRISM-games for stochastic game models.]
Downloads:  bib bib
Notes: The original publication is available at link.springer.com.