skip to main content


Title: Exploiting Invariance Properties to Certify Always and Eventually Signal Temporal Logic Operators for Hybrid Dynamical Systems
Award ID(s):
2039054
NSF-PAR ID:
10439864
Author(s) / Creator(s):
;
Date Published:
Journal Name:
IEEE Control Systems Letters
Volume:
7
ISSN:
2475-1456
Page Range / eLocation ID:
2809-2814
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
No document suggestions found