Arash Khabbaz Saberi, Jos Hegge, Terry Fruehling, Jan Friso Groote. Beyond SOTIF: Black Swans and Formal Methods. In IEEE International Systems Conference, SysCon 2020, Montreal, QC, Canada, August 24 - September 20, 2020. pages 1-5, IEEE, 2020. [doi]
Abstract is missing.