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 
V
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.
U
T
S
R
P
Bardh Hoxha, Georgios Fainekos.  2016.  Planning in Dynamic Environments Through Temporal Logic Monitoring. Workshops of the Thirtieth AAAI Conference on Artificial Intelligence: Planning for Hybrid Systems.
M
L
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.
F
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.
E
Wei Wei, Kangjin Kim, Georgios Fainekos.  2016.  Extended LTLvis Motion Planning Interface. IEEE International Conference on Systems, Man, and Cybernetics.
Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos.  2016.  An efficient algorithm for monitoring practical TPTL specifications. 14th ACM-IEEE International Conference on Formal Methods and Models for System Design. :184-193.
A