Skip to main content
eScholarship
Open Access Publications from the University of California

Linear temporal logic for hybrid dynamical systems: Characterizations and sufficient conditions

  • Author(s): Han, Hyejin
  • Sanfelice, Ricardo G
  • et al.
Main Content
Current View