Towards synthesis from assume-guarantee contracts involving infinite theories

Document Details

Document Type
Pub Defense Publication
Publication Date
May 14, 2016
Source ID
10.1145/2897667.2897675

Entities

People

  • Andreas Katis
  • Andrew Gacek
  • Michael W. Whalen

Organizations

  • Defense Advanced Research Projects Agency
  • National Aeronautics and Space Administration
  • National Science Foundation
  • Rockwell Collins
  • University of Minnesota