Get my own profile
Public access
View all4 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
- Daniel KroeningAmazonVerified email at amazon.com
- Yiannis KantarosAssistant Professor, Washington University in St. LouisVerified email at wustl.edu
- Ida MomennejadMicrosoft ResearchVerified email at microsoft.com
- Felipe Vieira FrujeriMicrosoft ResearchVerified email at microsoft.com
- Hiteshi SharmaMicrosoftVerified email at microsoft.com
- George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaVerified email at seas.upenn.edu
- Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
- Tom MelhamProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
- Hamid PalangiMicrosoft Research and University of WashingtonVerified email at microsoft.com
- Robert Osazuwa NessMicrosoft ResearchVerified email at altdeep.ai
- Jonathan LarsonMicrosoft ResearchVerified email at microsoft.com
- Zhen KanUniversity of Science and Technology of ChinaVerified email at ustc.edu.cn
- Mingyu CaiAssistant Professor, University of California RiversideVerified email at ucr.edu
- Shaoping XiaoProfessor of Mechanical Engineering, The University of IowaVerified email at uiowa.edu
- Nebojsa JojicMicrosoft ResearchVerified email at microsoft.com
- Mirco GiacobbeUniversity of BirminghamVerified email at bham.ac.uk
- Hjalmar WijkUniversity of OxfordVerified email at st-annes.ox.ac.uk
- Thomas J. RingstromPh.D. candidate, University of Minnesota, Twin CitiesVerified email at umn.edu
- Fazl BarezUniversity of OxfordVerified email at robots.ox.ac.uk