Exploiting Invariance Properties to Certify Always and Eventually Signal Temporal Logic Operators for Hybrid Dynamical Systems

Source:

IEEE Control Systems Letters, Volume 7, p.2809-2814 (2023)