Compositional construction of control barrier functions for interconnected control systems

Publication
23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC) (* equally contributed)