Found 2 Documents (Results 1–2)
Model checking for safe navigation among humans. (English) Zbl 1514.68136
McIver, Annabelle (ed.) et al., Quantitative evaluation of systems. 15th international conference, QEST 2018, Beijing, China, September 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11024, 207-222 (2018).
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
all
top 5
Author
- Abate, Alessandro (1)
- Hayhoe, Mary (1)
- Jansen, Nils (1)
- Junges, Sebastian (1)
- Katoen, Joost-Pieter (1)
- Lavaei, Abolfazl (1)
- Soudjani, Sadegh (1)
- Topcu, Ufuk (1)
- Zamani, Majid (1)
- Zhang, Ruohan (1)