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]
Abstract is missing.