For safety-critical systems such as autonomous vehicles, power systems, and robotics, it is
important to guarantee the systems operate under given safety constraints. Numerous safety …