Harris, William R. http://orcid.org/0000-0002-7667-1287
Jha, Somesh
Reps, Thomas W.
Seshia, Sanjit A.
Funding for this research was provided by:
Defense Advanced Research Projects Agency (HR0011-12-2-0012, HR0011-16-C-0059)
National Science Foundation (CCF-0904371, CNS-1228782)
National Science Foundation (CNS-1228620, CNS-1528108)
National Science Foundation (1526211)
Air Force Research Laboratory (FA8650-10-C-7088, FA8750-14-2-0270)
Air Force Research Laboratory (FA8750-15-C-0082, FA8650-15-C-7562)
Air Force Research Laboratory (FA8650-15-C-7562)
Article History
First Online: 16 September 2017