TY - RPRT TI - Detection of Smart Grid Integrity Attacks Using Signal Temporal Logic AU - José Ignacio Requeno PY - 2022 UR - https://arxiv.org/abs/2209.06722 ID - 2209.06722 ER -