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
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
Michael LemmonUniversity of Notre DameVerified email at nd.edu
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Warren DixonDistinguished Professor, University of FloridaVerified email at ufl.edu
Peter StoneProfessor of Computer Science, The University of Texas at AustinVerified email at cs.utexas.edu
Cyrus NearyUniversity of British Columbia, Mila, University of MontrealVerified email at ubc.ca
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
Buon Kiong LauLund UniversityVerified email at eit.lth.se
Yuxin ChenUniversity of Chicago, Assistant Professor of Computer ScienceVerified email at uchicago.edu
Yisong YueCalifornia Institute of Technology; Asari AI; Latitude AIVerified email at caltech.edu
Franck DjeumouAssistant Professor, RPIVerified email at utexas.edu