Sufficient conditions for satisfaction of formulas with until operators in hybrid systems

Document Details

Document Type
Pub Defense Publication
Publication Date
Apr 22, 2020
Source ID
10.1145/3365365.3382223

Entities

People

  • Hyejin Han
  • Mohamed Maghenem
  • Ricardo G. Sanfelice

Organizations

  • Air Force Office of Scientific Research
  • Air Force Research Laboratory
  • Center for Information Technology Research in the Interest of Society
  • National Science Foundation
  • University of California