This video [ SEST2020 Formal Controller Synthesis for Frequency ] has been shared from the internet. If you find it inappropriate or wish for it to be removed, kindly contact us, and we will promptly take it down. Thank you for your understanding and cooperation!