☰

Georgios E. Fainekos, Ph.D.

Affiliations: 
2008 University of Pennsylvania, Philadelphia, PA, United States 
Area:
Information and Decision Systems
Google:
"Georgios Fainekos"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
George J. Pappas grad student 2008 Penn
 (Robustness of temporal logic specifications.)

Children

Sign in to add trainee
Keyvan Majd grad student Arizona State (Computer Science Tree)

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Yaghoubi S, Fainekos G. (2019) Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach Acm Transactions in Embedded Computing Systems. 18: 107
Yaghoubi S, Fainekos G. (2018) Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time Ifac-Papersonline. 51: 103-108
Nguyen LV, Hoxha B, Johnson TT, et al. (2018) Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS. Ifac-Papersonline. 51: 67-72
Hoxha B, Dokhanchi A, Fainekos GE. (2018) Mining parametric temporal logic properties in model-based design for cyber-physical systems International Journal On Software Tools For Technology Transfer. 20: 79-93
Dokhanchi A, Hoxha B, Fainekos G. (2017) Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems Acm Transactions in Embedded Computing Systems. 17: 34
Sankaranarayanan S, Kumar SA, Cameron F, et al. (2017) Model-based falsification of an artificial pancreas control system Acm Sigbed Review. 14: 24-33
Tuncali CE, Fainekos G, Lee Y. (2016) Automatic Parallelization of Multirate Block Diagrams of Control Systems on Multicore Platforms Acm Transactions in Embedded Computing Systems. 16: 15
Zhang Y, Kim K, Fainekos G. (2016) DisCoF: Cooperative pathfinding in distributed systems with limited sensing and communication range Springer Tracts in Advanced Robotics. 112: 325-340
Kim K, Fainekos G, Sankaranarayanan S. (2015) On the minimal revision problem of specification automata International Journal of Robotics Research. 34: 1515-1535
Hoxha B, Mavridis N, Fainekos G. (2015) VISPEC: A graphical tool for elicitation of MTL requirements Ieee International Conference On Intelligent Robots and Systems. 2015: 3486-3492
See more...