TY - RPRT TI - Safety-Critical Control Synthesis for network systems with Control Barrier Functions and Assume-Guarantee Contracts AU - Yuxiao Chen AU - James Anderson AU - Karan Kalsi AU - Aaron D. Ames AU - Steven H. Low PY - 2020 UR - https://arxiv.org/abs/1911.03452 ID - 1911.03452 ER -