TY - RPRT TI - Efficient Predictive Monitoring of Linear Time-Invariant Systems Under Stealthy Attacks AU - Mazen Azzam AU - Liliana Pasquale AU - Gregory Provan AU - Bashar Nuseibeh PY - 2021 UR - https://arxiv.org/abs/2106.02378 ID - 2106.02378 ER -