Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 01, 2016
Source ID
10.1109/tac.2015.2511722

Entities

People

  • Andrew Lamperski
  • Tichakorn Wongpiromsarn
  • Ufuk Topcu

Organizations

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