Vacuity Aware Falsification for MTL Request-Response Specifications
| Title | Vacuity Aware Falsification for MTL Request-Response Specifications |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos |
| Conference Name | IEEE International Conference on Automation Science and Engineering |
| Keywords | 1350420 |
| Citation Key | DokhanchiEtAl2017case |