Certifying the LTL Formula p Until q in Hybrid Systems

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 01, 2022
Source ID
10.1109/tac.2022.3207417

Entities

People

  • Hyejin Han
  • Mohamed Maghenem
  • Ricardo G. Sanfelice

Organizations

  • Air Force Office of Scientific Research
  • National Science Foundation
  • University of California, Santa Cruz