@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}
}
@article {273,
	title = {Certifying the LTL Formula p Until q in Hybrid Systems},
	journal = {IEEE Transactions on Automatic Control},
	volume = {68},
	number = {7},
	year = {2022},
	month = {September},
	pages = {4451-4458},
	keywords = {Automata, Control systems, Convergence, Dynamical systems, safety, Stability analysis, Time-domain analysis},
	author = {H. Han and M. Maghenem and R. G. Sanfelice}
}
@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}
}
@conference {215,
	title = {Sufficient Conditions for Satisfaction of Formulas with Until Operators in Hybrid Systems},
	booktitle = {Proceedings of the Conference on Hybrid Systems: Computation and Control},
	number = {8},
	year = {2020},
	month = {April},
	pages = {1-10},
	author = {H. Han and M. Maghenem and R. G. Sanfelice}
}
@conference {186,
	title = {A Hybrid Control Algorithm for Object Grasping Using Multiple Agents},
	booktitle = {Proceedings of the Conference on Control Technology and Applications},
	series = {NULL},
	year = {2018},
	month = {August},
	pages = {652-657},
	author = {H. Han and R. G. Sanfelice}
}
@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}
}
