Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Martin Oxenham. Towards Trustworthy AI for Autonomous Systems. In Jing Sun 0002, Meng Sun 0002, editors, Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. Volume 11232 of Lecture Notes in Computer Science, pages 407-411, Springer, 2018. [doi]
Abstract is missing.