Get my own profile
Public access
View all30 articles
1 article
available
not available
Based on funding mandates
Co-authors
Aaron D. AmesBren Professor, Mechanical and Civil Engineering, Control and Dynamical Systems, Aerospace CaltechVerified email at cds.caltech.edu
Antonis PapachristodoulouUniversity of OxfordVerified email at eng.ox.ac.uk
Anushri DixitAssistant Professor, UCLAVerified email at ucla.edu
Andrew SingletaryGraduate Student, CaltechVerified email at caltech.edu
Prithvi AkellaSiemensVerified email at siemens.comXiaobin XIONG 熊晓滨Shanghai Innovation Institute (SII) 上海创智学院; UW-MadisonVerified email at wisc.edu
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerified email at rub.de
Ugo RosoliaPrincipal Scientist at LyricVerified email at berkeley.edu
Arie IsraelProfessor of Mathematics, The University of Texas at AustinVerified email at math.utexas.eduTakashi TanakaPurdue UniversityVerified email at purdue.edu
Yuxiao ChenNvidiaVerified email at nvidia.com
Dennice GaymeProfessor of Mechanical Engineering, Johns Hopkins UniversityVerified email at jhu.edu
Clarence W RowleyProfessor of Mechanical and Aerospace Engineering, Princeton UniversityVerified email at princeton.edu
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
Yisong YueCalifornia Institute of Technology; Asari AIVerified email at caltech.edu
Arun ViswanathanPrincipal Security Researcher at MicrosoftVerified email at microsoft.com