Sufficient Conditions for Satisfaction of Formulas with Until Operators in Hybrid Systems

Source:

To appear at the Hybrid Systems: Computation and Control (2020)