Compositional safety rules for inter-triggering hybrid automata

Document Details

Document Type
Pub Defense Publication
Publication Date
May 19, 2021
Source ID
10.1145/3447928.3456659

Entities

People

  • Glen Chou
  • Kwesi J. Rutledge
  • Necmiye Ozay

Organizations

  • National Science Foundation
  • Office of Naval Research
  • United States Department of Defense
  • University of Michigan