TY - RPRT TI - Reactive and Risk-Aware Control for Signal Temporal Logic AU - Lars Lindemann AU - George J. Pappas AU - Dimos V. Dimarogonas PY - 2021 UR - https://arxiv.org/abs/2108.13490 ID - 2108.13490 ER -