Concepedia

Author

Adam Dai

California Institute of TechnologyORCID

Also Known As

Adam Dai, Dai, Adam

17

Publications

691

Citations

5

H-Index

13

Concepts

All Affiliations

California Institute of Technology
AD

About

Adam Dai is an author at California Institute of Technology specializing in autonomous systems, formal methods, and integer programming.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

45

2

Computer Science

1

1

45

3

Systems Engineering

1

1

45

4

Autonomous Systems

1

1

45

5

Integer Programming

1

1

45

Adam Dai

×

2

Publications

658

Citations

2

H-Index

YearCitations

Page 1