TY  - RPRT
TI  - Control Design for Risk-Based Signal Temporal Logic Specifications
AU  - Sleiman Safaoui
AU  - Lars Lindemann
AU  - Dimos V Dimarogonas
AU  - Iman Shames
AU  - Tyler H Summers
PY  - 2020
DO  - 10.1109/lcsys.2020.2998543
UR  - https://arxiv.org/abs/2006.00317
ID  - 2006.00317
ER  -