TY  - RPRT
TI  - Local Descent For Temporal Logic Falsification of Cyber-Physical Systems (Extended Technical Report)
AU  - Shakiba Yaghoubi
AU  - Georgios Fainekos
PY  - 2018
UR  - https://arxiv.org/abs/1802.04866
ID  - 1802.04866
ER  -