Model Checking for Safe Navigation Among Humans

Cham / Springer (2018) [Contribution to a book, Contribution to a conference proceedings]

Quantitative evaluation of systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings / Annabelle McIver, Andras Horvath (eds.)
Page(s): 207-222

Authors

Selected Authors

Junges, Sebastian
Jansen, Nils
Katoen, Joost-Pieter
Topcu, Ufuk
Zhang, Ruohan

Other Authors

Hayhoe, Mary

Identifier