skip to main content

Title: Sufficient Conditions for Satisfaction of Formulas with Until Operators in Hybrid Systems
Authors:
; ;
Award ID(s):
1710621
Publication Date:
NSF-PAR ID:
10179773
Journal Name:
To appear at the Hybrid Systems: Computation and Control
Sponsoring Org:
National Science Foundation
More Like this
No document suggestions found