Georgios Fainekos

Toyota Motor Corporation (Switzerland) — Switzerland

Computer Science · Physical Sciences

35h-index6.7kcitations223works1.42yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(123), Software Testing and Debugging Techniques(60), Software Reliability and Analysis Research(31), Robotic Path Planning Algorithms(26), Model-Driven Software Engineering Techniques(24)

Publications223 total

ARCH-COMP25 Category Report: Falsification
EPiC series in computing·2025
Neural Configuration Distance Function for Continuum Robot Control
2025
LogSTOP: Temporal Scores over Prediction Sequences for Matching and Retrieval
arXiv (Cornell University)·2025Open Access
Performance-Guided Refinement for Visual Aerial Navigation using Editable Gaussian Splatting in FalconGym 2.0
arXiv (Cornell University)·2025Open Access
Feasible Space Monitoring for Multiple Control Barrier Functions with Application to Large Scale Indoor Navigation
2025· 3 cited
Scalable Multi-Agent Path Finding for Delivery Robot Systems with Temporal and Edge Capacity Constraints on Weighted Graphs
2025
STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
ACM Transactions on Embedded Computing Systems·2025Open Access
GPU-Accelerated Barrier-Rate Guided MPPI Control for Tractor-Trailer Systems
arXiv (Cornell University)·2025Open Access
STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
ArXiv.org·2025Open Access
Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
ACM Transactions on Cyber-Physical Systems·2025· 2 citedOpen Access
Risk-aware MPPI for Stochastic Hybrid Systems
2025· 1 cited
BR-MPPI: Barrier Rate guided MPPI for Enforcing Multiple Inequality Constraints with Learned Signed Distance Field
arXiv (Cornell University)·2025Open Access
ProbStar Temporal Logic for Verifying Complex Behaviors of Learning-enabled Systems
2025· 2 citedOpen Access
MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments
arXiv (Cornell University)·2025Open Access
Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions
arXiv (Cornell University)·2025Open Access
Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
arXiv (Cornell University)·2025Open Access
Reachability analysis of recurrent neural networks
Nonlinear Analysis Hybrid Systems·2025· 6 cited
Conformal Prediction in the Loop: Risk-Aware Control Barrier Functions for Stochastic Systems With Data-Driven State Estimators
IEEE Control Systems Letters·2025· 1 cited
StarV: A Qualitative and Quantitative Verification Tool for Learning-Enabled Systems
Lecture notes in computer science·2025· 1 citedOpen Access
From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events
arXiv (Cornell University)·2024Open Access
page 1 of 12Next →

Frequent Co-authors

George J. Pappas(17), Sriram Sankaranarayanan(11), Houssam Abbas(8), Hadas Kress‐Gazit(7), Bardh Hoxha(7), Adel Dokhanchi(5), Shakiba Yaghoubi(4), Antoine Girard(3), Jyotirmoy V. Deshmukh(2), Alexandre Donzé(2), Franjo Ivančić(2), Aarti Gupta(2), A. Agung Julius(2), Selcuk Bayraktar(2), Cumhur Erkan Tuncali(2), Heni Ben Amor(2), Kangjin Kim(2), Logan Mathesen(2), Giulia Pedrielli(2), Yashwanth Annpureddy(1)