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

Source:

Proceedings of the Conference on Hybrid Systems: Computation and Control, Number 8, p.1-10 (2020)