Get my own profile
Public access
View all34 articles
7 articles
available
not available
Based on funding mandates
Co-authors
Ufuk TopcuThe University of Texas at AustinVerified email at utexas.edu
Hai LinElectrical Engineering, University of Notre DameVerified email at nd.edu
Zhe XuAssistant Professor, Arizona State UniversityVerified email at asu.edu
Zhiyu LiuPhD student of Electrical Engineering, University of Notre DameVerified email at nd.edu
Suda BharadwajUT AustinVerified email at utexas.edu
Daniel NeiderTU Dortmund University and Center for Trustworthy Data Science and SecurityVerified email at tu-dortmund.de
Mohamadreza AhmadiCalifornia Institute of TechnologyVerified email at caltech.edu
Matthew HaleGeorgia TechVerified email at gatech.edu
Michael LemmonUniversity of Notre DameVerified email at nd.edu
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Ahmad YousefConnector; corrector; and projector...Verified email at mcmaster.ca
Bin HuUniversity of HoustonVerified email at central.uh.edu
Aditya OjhaGraduate Research Assistant, Purdue UniversityVerified email at purdue.edu
Warren DixonDistinguished Professor, University of FloridaVerified email at ufl.edu
Murat CubuktepeUniversity of Texas at AustinVerified email at utexas.edu
Wei ZhengUniversity of Notre DameVerified email at nd.edu
Steven CarrUniversity of Texas at AustinVerified email at utexas.edu
Peter StoneProfessor of Computer Science, The University of Texas at AustinVerified email at cs.utexas.edu
Takashi TanakaUniversity of Texas at AustinVerified email at utexas.edu
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerified email at rub.de