@conference {176,
	title = {Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems},
	booktitle = {Proceedings of the 6th Analysis and Design of Hybrid Systems},
	volume = {51},
	year = {2018},
	month = {July},
	pages = {97-102},
	author = {H. Han and R. G. Sanfelice}
}
