SMC: Satisfiability Modulo Convex Programming

Document Details

Document Type
Pub Defense Publication
Publication Date
Sep 01, 2018
Source ID
10.1109/jproc.2018.2849003

Entities

People

  • Alberto Sangiovanni-Vincentelli
  • George J. Pappas
  • Paulo Tabuada
  • Pierluigi Nuzzo
  • Sanjit A. Seshia
  • Yasser Shoukry

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation