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]
Abstract is missing.