Natasha A. Neogi. Utilizing the structure of safety properties to aid in the verification of hybrid controllers. In Proceedings of the 2004 American Control Conference, ACC 2004, Boston, MA, USA, June 30 - July 2, 2004. pages 1214-1220, IEEE, 2004. [doi]
Abstract is missing.