Vacuity aware falsification for MTL request-response specifications

2017 13th IEEE Conference on Automation Science and Engineering (CASE) ◽

10.1109/coase.2017.8256286 ◽

2017 ◽

Author(s):

Adel Dokhanchi ◽

Shakiba Yaghoubi ◽

Bardh Hoxha ◽

Georgios Fainekos

Download Full-text