Local Descent for Temporal Logic Falsification of Cyber-Physical Systems
| Title | Local Descent for Temporal Logic Falsification of Cyber-Physical Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Shakiba Yaghoubi, Georgios Fainekos |
| Conference Name | Seventh Workshop on Design, Modeling and Evaluation of Cyber Physical Systems |
| Keywords | 1350420 |
| Citation Key | YaghoubiF2017cyphy |