@article {218,
	title = {Linear Temporal Logic for Hybrid Dynamical Systems: Characterizations and Sufficient Conditions},
	journal = {Nonlinear Analysis: Hybrid Systems},
	volume = {36},
	year = {2020},
	month = {May},
	author = {H. Han and R. G. Sanfelice}
}
