TY - RPRT TI - Barrier Functionals for the Analysis of Complex Systems: An Optimization-Based Approach AU - Mohamadreza Ahmadi AU - Giorgio Valmorbida AU - Antonis Papachristodoulou PY - 2016 UR - https://arxiv.org/abs/1603.08716 ID - 1603.08716 ER -