TY - RPRT TI - Verification and Design of Resilient Closed-Loop Structured System AU - RaviTeja Gundeti AU - Shana Moothedath AU - Prasanna Chaporkar PY - 2019 UR - https://arxiv.org/abs/1712.08407 ID - 1712.08407 ER -