Georgios Fainekos

Identifiers

• name variant Georgios Fainekos 0.60 · backfill

Papers (22)

1. Reinforcement Learning for Risk Adaptation via Differentiable CVaR Barrier Functions cs.RO · 2026 · author #4
2. Policy Library CBF: Finite-Horizon Safety at Runtime via Parallel Rollouts cs.RO · 2026 · author #4
3. Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations cs.LG · 2026 · author #5
4. Spatio-Temporal Grounding of Large Language Models from Perception Streams cs.RO · 2026 · author #3
5. GPU-Accelerated Barrier-Rate Guided MPPI Control for Tractor-Trailer Systems cs.RO · 2025 · author #6
6. Rapidly-exploring Random Trees-based Test Generation for Autonomous Vehicles cs.RO · 2019 · author #2
7. Model Checking Clinical Decision Support Systems Using SMT cs.SE · 2019 · author #3
8. Gray-box Adversarial Testing for Control Systems with Machine Learning Component cs.LG · 2018 · author #2
9. Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components cs.SY · 2018 · author #2
10. Local Descent For Temporal Logic Falsification of Cyber-Physical Systems (Extended Technical Report) cs.SY · 2018 · author #2
11. Deep Predictive Models for Collision Risk Assessment in Autonomous Driving cs.RO · 2017 · author #2
12. An Efficient Algorithm for Monitoring Practical TPTL Specifications cs.LO · 2016 · author #4
13. Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems cs.SY · 2016 · author #3
14. Modeling Concurrency and Reconfiguration in Vehicular Systems: A $\pi$-calculus Approach cs.RO · 2016 · author #4
15. Mining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systems cs.LO · 2015 · author #3
16. Towards composition of conformant systems cs.SY · 2015 · author #2
17. ViSpec: A graphical tool for elicitation of MTL requirements cs.SE · 2015 · author #3
18. DisCoF$^+$: Asynchronous DisCoF with Flexible Decoupling for Cooperative Pathfinding in Distributed Systems cs.RO · 2015 · author #5
19. On-Line Monitoring for Temporal Logic Robustness cs.SY · 2014 · author #3
20. Revision of Specification Automata under Quantitative Preferences cs.FL · 2014 · author #2
21. Conformance Testing as Falsification for Cyber-Physical Systems cs.SY · 2014 · author #3
22. Linear Hybrid System Falsification With Descent cs.SY · 2011 · author #2

Mentions

• 2605.21257 #4 · arxiv_oai · confidence 0.70 Georgios Fainekos
• 1105.1733 #2 · backfill · confidence 0.70 Georgios Fainekos
• 2605.16588 #4 · arxiv_oai · confidence 0.70 Georgios Fainekos

Frequent Coauthors

• Bardh Hoxha 11 shared papers
• Adel Dokhanchi 4 shared papers
• Cumhur Erkan Tuncali 4 shared papers
• Hideki Okamoto 4 shared papers
• Houssam Abbas 3 shared papers
• Dimitra Panagou 2 shared papers
• James Kapinski 2 shared papers
• Kangjin Kim 2 shared papers
• Shakiba Yaghoubi 2 shared papers
• Taekyung Kim 2 shared papers
• Andrew M. Simms 1 shared papers
• Danil Prokhorov 1 shared papers
• Hardik Parwana 1 shared papers
• Heni Ben Amor 1 shared papers
• Hisahiro Ito 1 shared papers
• Jacob Anderson 1 shared papers
• Joe Campbell 1 shared papers
• Joseph Campbell 1 shared papers
• Jyotirmoy V. Deshmukh 1 shared papers
• Keyvan Majd 1 shared papers