ACM Intl. Conf. on Hybrid Systems: Computation and Control, HSCC 2017

Article Details
Title: SMC: Satisfiability Modulo Convex Optimization
Article URLs:
Alternative Article URLs:
Authors: Yasser Shoukry
  • University of California - Berkeley, Department of Electrical Engineering and Computer Sciences
  • University of California - Los Angeles, Department of Electrical Engineering
Pierluigi Nuzzo
  • University of Southern California, Los Angeles, Ming Hsieh Department of Electrical Engineering
Alberto L. Sangiovanni-Vincentelli
  • University of California - Berkeley, Department of Electrical Engineering and Computer Sciences
Sanjit A. Seshia
  • University of California - Berkeley, Department of Electrical Engineering and Computer Sciences
George J. Pappas
  • University of Pennsylvania, Department of Electrical and Systems Engineering
Paulo Tabuada
  • University of California - Los Angeles, Department of Electrical Engineering
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge:
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
awarded
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1239085
DBLP Key: conf/hybrid/ShoukryNSSPT17
Author Comments:

Discuss this paper and its artifacts below