Linear Temporal Logic for Hybrid Dynamical Systems: Characterizations and Sufficient Conditions

D. Journal Articles

Nonlinear Analysis: Hybrid Systems, Volume 36 (2020)

Preprint attachment:

Attachment	Size
218.pdf	218.45 KB