Georgios Fainekos - Publications, H-index & Citations

Georgios Fainekos

Toyota Motor Corporation

35H指数

223论文数

6.7K被引数

收录论文 8

发表时间

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies STL-GO：适用于具有多种网络拓扑分布系统的时空逻辑与图算子

ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS

IF2.6

2025-09-01

PREAI

Zhao, Yiqi; Yu, Xinyi; Hoxha, Bardh; Fainekos, Georgios; Deshmukh, Jyotirmoy; Lindemann, Lars

Reachability analysis of recurrent neural networks 递归神经网络的可达性分析

NONLINEAR ANALYSIS-HYBRID SYSTEMS

IF4.1

2025-05-01

PREAI

Choi, Sung Woo; Li, Yuntao; Yang, Xiaodong; Yamaguchi, Tomoya; Hoxha, Bardh; Fainekos, Georgios; Prokhorov, Danil; Tran, Hoang-Dung

Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING

IF6.4

2024-07-01

OAAI

Pedrielli, Giulia; Khandait, Tanmay; Cao, Yumeng; Thibeault, Quinn; Huang, Hao; Castillo-Effen, Mauricio; Fainekos, Georgios

Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic

INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH

IF5

2024-01-24

OAAI

Hekmatnejad, Mohammad; Hoxha, Bardh; Deshmukh, Jyotirmoy V.; Yang, Yezhou; Fainekos, Georgios

Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components 具有机器学习组件的自动驾驶汽车的需求驱动测试生成

IEEE TRANSACTIONS ON INTELLIGENT VEHICLES

IF14.3

2020-06-01

OAAI

Tuncali, Cumhur Erkan; Fainekos, Georgios; Prokhorov, Danil; Ito, Hisahiro; Kapinski, James

On the minimal revision problem of specification automata

INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH

IF5

2015-08-12

OAAI

Kim, Kangjin; Fainekos, Georgios; Sankaranarayanan, Sriram

Temporal-Logic-Based Reactive Mission and Motion Planning

IEEE TRANSACTIONS ON ROBOTICS

IF10.5

2009-12-01

593

OAAI

Kress-Gazit, Hadas; Fainekos, Georgios E.; Pappas, George J.

Temporal logic motion planning for dynamic robots 动态机器人的时序逻辑运动规划

AUTOMATICA

IF5.9

2009-02-01

345

PREAI

Fainekos, Georgios E.; Girard, Antoine; Kress-Gazit, Hadas; Pappas, George J.

研究方向