TY - RPRT TI - Synthesis-guided Adversarial Scenario Generation for Gray-box Feedback Control Systems with Sensing Imperfections AU - Liren Yang AU - Necmiye Ozay PY - 2021 DO - 10.1145/3477033 UR - https://arxiv.org/abs/2107.11667 ID - 2107.11667 ER -