Model Checking for Safe Navigation Among Humans

Cham / Springer (2018) [Buchbeitrag, Beitrag zu einem Tagungsband]

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

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

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

Weitere Autorinnen und Autoren

Hayhoe, Mary

Identifikationsnummern