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