TY  - RPRT
TI  - Kontrol Edilebilir ptSTL Formulu Sentezi -- Synthesis of Controllable ptSTL Formulas
AU  - Irmak Saglam
AU  - Ebru Aydin Gol
PY  - 2020
UR  - https://arxiv.org/abs/2003.09918
ID  - 2003.09918
ER  -