Hoang-Dung Tran, Diego Manzanas Lopez, Taylor T. Johnson. Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy. In International Conference on Embedded Software, EMSOFT 2023, Hamburg, Germany, September 17-22, 2023. pages 1-2, IEEE, 2023. [doi]
@inproceedings{TranLJ23,
title = {Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy},
author = {Hoang-Dung Tran and Diego Manzanas Lopez and Taylor T. Johnson},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10316393},
researchr = {https://researchr.org/publication/TranLJ23},
cites = {0},
citedby = {0},
pages = {1-2},
booktitle = {International Conference on Embedded Software, EMSOFT 2023, Hamburg, Germany, September 17-22, 2023},
publisher = {IEEE},
isbn = {979-8-4007-0291-4},
}