Write a Blog >>
Matthew Sotoudeh

Registered user since Tue 25 Aug 2020

Name:Matthew Sotoudeh
Affiliation:University of California, Davis

Contributions

POPL 2020 Bounded Model Checking of Deep Neural Network Controllers
Show activities from other conferences

POPL 2020-profile
View general profile