Verifying Switched System Stability With Logic

Document Details

Document Type
Pub Defense Publication
Publication Date
May 04, 2022
Source ID
10.1145/3501710.3519541

Entities

People

  • AndrĂ© Platzer
  • Stefan Mitsch
  • Yong Kiam Tan

Organizations

  • Air Force Office of Scientific Research
  • Carnegie Mellon University
  • National Science Foundation