Visible to the public Biblio

Filters: Author is Shakiba Yaghoubi  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos.  2017.  Vacuity Aware Falsification for MTL Request-Response Specifications. IEEE International Conference on Automation Science and Engineering.
C
S
Shakiba Yaghoubi, Georgios Fainekos.  2017.  Local Descent for Temporal Logic Falsification of Cyber-Physical Systems. Seventh Workshop on Design, Modeling and Evaluation of Cyber Physical Systems.