Georgios Fainekos
Arizona State University
H-index: 43
North America-United States
Top articles of Georgios Fainekos
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
CBFKIT: A Control Barrier Function Toolbox for Robotics Applications | arXiv preprint arXiv:2404.07158 | Mitchell Black Georgios Fainekos Bardh Hoxha Hideki Okamoto Danil Prokhorov | 2024/4/10 |
Risk-Aware Fixed-Time Stabilization of Stochastic Systems under Measurement Uncertainty | arXiv preprint arXiv:2403.20258 | Mitchell Black Georgios Fainekos Bardh Hoxha Dimitra Panagou | 2024/3/29 |
Scaling Learning based Policy Optimization for Temporal Tasks via Dropout | arXiv preprint arXiv:2403.15826 | Navid Hashemi Bardh Hoxha Danil Prokhorov Georgios Fainekos Jyotirmoy Deshmukh | 2024/3/23 |
SMT-Based Dynamic Multi-Robot Task Allocation | arXiv preprint arXiv:2403.11737 | Victoria Marie Tuck Pei-Wei Chen Georgios Fainekos Bardh Hoxha Hideki Okamoto | 2024/3/18 |
Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic | The International Journal of Robotics Research | Mohammad Hekmatnejad Bard Hoxha Jyotirmoy V. Deshmukh Yezhou Yang Georgios Fainekos | 2024/1/24 |
ARCH-COMP 2023 Category Report: Falsification | 10th International Workshop on Applied Verification of Continuous and Hybrid Systems. ARCH23 | Claudio Menghi Paolo Arcaini Walstan Baptista Gidon Ernst Georgios Fainekos | 2023 |
Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator | Tanmay Khandait Aniruddh Chandratre Walstan Baptista Giulia Pedrielli Georgios Fainekos | 2023/5/9 | |
Part-x: A family of stochastic algorithms for search-based test generation with probabilistic guarantees | IEEE Transactions on Automation Science and Engineering | G. Pedrielli T. Khandait Y. Cao Q. Thibeault H. Huang | 2023 |
Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation | arXiv preprint arXiv:2312.07803 | Hardik Parwana Mitchell Black Bardh Hoxha Hideki Okamoto Georgios Fainekos | 2023/12/12 |
Safe Robot Learning in Assistive Devices through Neural Network Repair | arXiv preprint arXiv:2303.04431 | Keyvan Majd Geoffrey Clark Tanmay Khandait Siyu Zhou Sriram Sankaranarayanan | 2023/3/8 |
Stealthy attacks formalized as STL formulas for Falsification of CPS Security | Aniruddh Chandratre Tomas Hernandez Acosta Tanmay Khandait Giulia Pedrielli Georgios Fainekos | 2023/5/9 | |
Timed partial order inference algorithm | Proceedings of the International Conference on Automated Planning and Scheduling | Kandai Watanabe Georgios Fainekos Bardh Hoxha Morteza Lahijanian Danil Prokhorov | 2023/7/1 |
Safe control synthesis for hybrid systems through local control barrier functions | arXiv preprint arXiv:2311.17201 | Shuo Yang Mitchell Black Georgios Fainekos Bardh Hoxha Hideki Okamoto | 2023/11/28 |
Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions | Mitchell Black Georgios Fainekos Bardh Hoxha Danil Prokhorov Dimitra Panagou | 2023/5/29 | |
Risk-awareness in learning neural controllers for temporal logic objectives | Navid Hashemi Xin Qin Jyotirmoy V Deshmukh Georgios Fainekos Bardh Hoxha | 2023/5/31 | |
Robust conformal prediction for stl runtime verification under distribution shift | arXiv preprint arXiv:2311.09482 | Yiqi Zhao Bardh Hoxha Georgios Fainekos Jyotirmoy V Deshmukh Lars Lindemann | 2023/11/16 |
Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics | arXiv preprint arXiv:2303.06582 | Keyvan Majd Geoffrey Clark Tanmay Khandait Siyu Zhou Sriram Sankaranarayanan | 2023/3/12 |
A neurosymbolic approach to the verification of temporal logic properties of learning-enabled control systems | Navid Hashemi Bardh Hoxha Tomoya Yamaguchi Danil Prokhorov Georgios Fainekos | 2023/5/9 | |
Scaling Safe Learning-based Control to Long-Horizon Temporal Tasks | Navid Hashemi Bardh Hoxha Danil V Prokhorov Georgios Fainekos Jyotirmoy V Deshmukh | 2023/10/13 | |
Systems and methods for evaluating perception systems for autonomous vehicles using quality temporal logic | 2022/1/6 |