Formally Correct Composition of Coordinated Behaviors Using Control Barrier Certificates.

Anqi Li, Li Wang, Pietro Pierpaoli, Magnus Egerstedt

Browse the full IROS paper archive.