@article {292,
	title = {Exploiting Invariance Properties to Certify Always and Eventually Signal Temporal Logic Operators for Hybrid Dynamical Systems},
	journal = {IEEE Control Systems Letters},
	volume = {7},
	year = {2023},
	month = {June},
	pages = {2809-2814},
	author = {H. Han and R. G. Sanfelice}
}
