Formally Correct Composition of Coordinated Behaviors Using Control Barrier Certificates

Anqi Li, Li Wang 0050, Pietro Pierpaoli, Magnus Egerstedt. Formally Correct Composition of Coordinated Behaviors Using Control Barrier Certificates. In 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2018, Madrid, Spain, October 1-5, 2018. pages 3723-3729, IEEE, 2018. [doi]

Authors

Anqi Li

This author has not been identified. Look up 'Anqi Li' in Google

Li Wang 0050

This author has not been identified. Look up 'Li Wang 0050' in Google

Pietro Pierpaoli

This author has not been identified. Look up 'Pietro Pierpaoli' in Google

Magnus Egerstedt

This author has not been identified. Look up 'Magnus Egerstedt' in Google