On the existence of compositional barrier certificates

Christoffer Sloth, Rafael Wisniewski, George J. Pappas. On the existence of compositional barrier certificates. In Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA. pages 4580-4585, IEEE, 2012. [doi]

Authors

Christoffer Sloth

This author has not been identified. Look up 'Christoffer Sloth' in Google

Rafael Wisniewski

This author has not been identified. Look up 'Rafael Wisniewski' in Google

George J. Pappas

This author has not been identified. Look up 'George J. Pappas' in Google