https://eecs.berkeley.edu/news/paper-co-authored-sanjit-seshia-and-alexandre-donze-receives-2017-ieee-transactions-cad/
Paper co-authored by Sanjit Seshia and Alexandre Donze receives 2017 IEEE Transactions on CAD...
A paper co-authored by Prof. Sanjit A. Seshia and postdoctoral researcher Dr. Alexandre Donze, along with researchers from Toyota, has been selected for the...