%0 Conference Paper %1 conf/emsoft/TranLJ23 %A Tran, Hoang-Dung %A Lopez, Diego Manzanas %A Johnson, Taylor T. %B EMSOFT %D 2023 %I ACM / IEEE %K dblp %P 1-2 %T Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy. %U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2023.html#TranLJ23 %@ 979-8-4007-0291-4

@inproceedings{conf/emsoft/TranLJ23, added-at = {2024-01-26T00:00:00.000+0100}, author = {Tran, Hoang-Dung and Lopez, Diego Manzanas and Johnson, Taylor T.}, biburl = {https://www.bibsonomy.org/bibtex/208e1c596a990a6a21dd89c09aea11d82/dblp}, booktitle = {EMSOFT}, crossref = {conf/emsoft/2023}, ee = {https://ieeexplore.ieee.org/document/10316393}, interhash = {cbbb71256d6fd1fa627599218732fa04}, intrahash = {08e1c596a990a6a21dd89c09aea11d82}, isbn = {979-8-4007-0291-4}, keywords = {dblp}, pages = {1-2}, publisher = {ACM / IEEE}, timestamp = {2024-04-09T19:08:08.000+0200}, title = {Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy.}, url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2023.html#TranLJ23}, year = 2023 }