Visible to the public Biblio

Filters: Author is Georgios Fainekos  [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
B
C
E
G
H
Houssam Abbas, Hans Mittelmann, Georgios Fainekos.  2014.  Formal property verification in a conformance testing framework. 12th ACM-IEEE International Conference on Formal Methods and Models for System Design.
J
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.
W
Wei Wei, Kangjin Kim, Georgios Fainekos.  2016.  Extended LTLvis Motion Planning Interface. IEEE International Conference on Systems, Man, and Cybernetics.