@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 {267,
	title = {On the Feasibility and Continuity of Feedback Controllers Defined by Multiple Control Barrier Functions for Constrained Differential Inclusions},
	booktitle = {Proceedings of the American Control Conference},
	year = {2022},
	month = {June},
	pages = {5160-5165},
	keywords = {barrier functions, safety},
	author = {A. Isaly and M. Ghanbarpour and W. Dixon and R. G. Sanfelice}
}
