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]
@inproceedings{BrideDHMO18,
title = {Towards Trustworthy AI for Autonomous Systems},
author = {Hadrien Bride and Jin Song Dong and Zhé Hóu and Brendan P. Mahony and Martin Oxenham},
year = {2018},
doi = {10.1007/978-3-030-02450-5_24},
url = {https://doi.org/10.1007/978-3-030-02450-5_24},
researchr = {https://researchr.org/publication/BrideDHMO18},
cites = {0},
citedby = {0},
pages = {407-411},
booktitle = {Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings},
editor = {Jing Sun 0002 and Meng Sun 0002},
volume = {11232},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-02450-5},
}