Publication [Junges0KTZH18] Model Checking for Safe Navigation Among Humans Junges, S.; Jansen, N.; Katoen, J.-P.; Topcu, U.; Zhang, R. and Hayhoe, M. M. In QEST, pages 207-222, Springer, Lecture Notes in Computer Science 11024, 2018.Downloads: bib
