Tran's verification tool to make autonomous vehicles safer and smarter

The invention of autonomous vehicles has proven to be an exciting advancement in the technology field, but many remain apprehensive about their introduction into society due to safety concerns. School of Computing assistant professor Dung Hoang Tran is working on a new solution to change that.

With the support of a new $529,041 grant from the National Science Foundation, Tran will continue his work on a verification tool that will make autonomous vehicles and other robotics machinery both safer and smarter. 

"We have to build a very complex mathematical and computational framework to be able to analyze a complex system like that,” Tran said. “When you design that type of system, the deep learning models might behave in a way that could lead your system into a scenario that you don't want.”