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