Program synthesis for interactive-security systems

Document Details

Document Type
Pub Defense Publication
Publication Date
Sep 16, 2017
Source ID
10.1007/s10703-017-0296-5

Entities

People

  • Sanjit A. Seshia
  • Somesh Jha
  • Thomas W. Reps
  • William R. Harris

Organizations

  • Air Force Research Laboratory
  • Defense Advanced Research Projects Agency
  • National Science Foundation