Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Stanley Bak

Stress Testing Autonomous Racing Overtake Maneuvers with RRT


Oct 03, 2021
Stanley Bak, Johannes Betz, Abhinav Chawla, Hongrui Zheng, Rahul Mangharam


  Access Paper or Ask Questions

The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results


Aug 31, 2021
Stanley Bak, Changliu Liu, Taylor Johnson


  Access Paper or Ask Questions

Verification of Deep Convolutional Neural Networks Using ImageStars


May 14, 2020
Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson


  Access Paper or Ask Questions

NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems


Apr 12, 2020
Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson


  Access Paper or Ask Questions