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

Document Details

Document Type
Pub Defense Publication
Publication Date
May 01, 2020
Source ID
10.1016/j.nahs.2020.100865

Entities

People

  • Hyejin Han
  • Ricardo G. Sanfelice

Organizations

  • Air Force Office of Scientific Research
  • Air Force Research Laboratory
  • National Science Foundation