1. Convolutional Neural Networks for Speech Recognition
2. Ron Amadeo. 2023. NYPD robocops: Hulking 400-lb robots will start patrolling New York City. https://arstechnica.com/gadgets/2023/04/nypd-robocops-hulking-400-lb-robots-will-start-patrolling-new-york-city/ Ron Amadeo. 2023. NYPD robocops: Hulking 400-lb robots will start patrolling New York City. https://arstechnica.com/gadgets/2023/04/nypd-robocops-hulking-400-lb-robots-will-start-patrolling-new-york-city/
3. Scalable Quantitative Verification For Deep Neural Networks
4. Quantitative Verification of Neural Networks and Its Security Applications
5. Mariusz Bojarski , Davide Del Testa , Daniel Dworakowski, Bernhard Firner , Beat Flepp, Prasoon Goyal, Lawrence D Jackel, Mathew Monfort, Urs Muller, and Jiakai Zhang. 2016 . End to end learning for self-driving cars. arXiv preprint arXiv:1604.07316. Mariusz Bojarski, Davide Del Testa, Daniel Dworakowski, Bernhard Firner, Beat Flepp, Prasoon Goyal, Lawrence D Jackel, Mathew Monfort, Urs Muller, and Jiakai Zhang. 2016. End to end learning for self-driving cars. arXiv preprint arXiv:1604.07316.