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

Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems.

  • Author(s): Han, Hyejin
  • Sanfelice, Ricardo G
  • Editor(s): Abate, Alessandro
  • Girard, Antoine
  • Heemels, Maurice
  • et al.
Main Content
Current View