When designing controllers, it is important to consider their stability and safety. However, this
can become difficult as the system's complexity increases. This work presents results on the …