TY - RPRT TI - Cause Mining and Controller Synthesis with STL AU - Irmak Saglam AU - Ebru Aydin Gol PY - 2019 UR - https://arxiv.org/abs/1904.03649 ID - 1904.03649 ER -