TY - RPRT TI - Temporal Relaxation of Signal Temporal Logic Specifications for Resilient Control Synthesis AU - Ali Tevfik Buyukkocak AU - Derya Aksaray PY - 2022 UR - https://arxiv.org/abs/2208.08384 ID - 2208.08384 ER -