@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}
}
@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}
}
