Georgios Fainekos

188 papers A* 8A 13B 11C 17Misc 6Journal 78Unranked 53

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	BR-MPPI: Barrier Rate guided MPPI for Enforcing Multiple Inequality Constraints with Learned Signed Distance Field. CoRR Hardik Parwana, Taekyung Kim, Kehan Long, Bardh Hoxha, Hideki Okamoto, Georgios Fainekos, Dimitra Panagou
2025	J	`jnl`	Conformal Prediction in the Loop: Risk-Aware Control Barrier Functions for Stochastic Systems With Data-Driven State Estimators. IEEE Control. Syst. Lett. Junhui Zhang, Bardh Hoxha, Georgios Fainekos, Dimitra Panagou
2025	J	`jnl`	Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications. CoRR Yiqi Zhao, Emily Zhu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
2025	J	`jnl`	Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications. ACM Trans. Cyber Phys. Syst. Yiqi Zhao, Emily Zhu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
2025	—	`conf`	Feasible Space Monitoring for Multiple Control Barrier Functions with Application to Large Scale Indoor Navigation. CCTA Hardik Parwana, Mitchell Black, Bardh Hoxha, Hideki Okamoto, Georgios Fainekos, Danil V. Prokhorov, Dimitra Panagou
2025	—	`conf`	GPU-Accelerated Barrier-Rate Guided MPPI Control for Tractor-Trailer Systems. ITSC Keyvan Majd, Hardik Parwana, Bardh Hoxha, Steven Hong, Hideki Okamoto, Georgios Fainekos
2025	J	`jnl`	GPU-Accelerated Barrier-Rate Guided MPPI Control for Tractor-Trailer Systems. CoRR Keyvan Majd, Hardik Parwana, Bardh Hoxha, Steven Hong, Hideki Okamoto, Georgios Fainekos
2025	J	`jnl`	LogSTOP: Temporal Scores over Prediction Sequences for Matching and Retrieval. CoRR Avishree Khare, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Rajeev Alur
2025	J	`jnl`	MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments. CoRR Victoria Marie Tuck, Hardik Parwana, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia
2025	A	`conf`	Neural Configuration Distance Function for Continuum Robot Control. IROS Kehan Long, Hardik Parwana, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Nikolay Atanasov
2025	J	`jnl`	Performance-Guided Refinement for Visual Aerial Navigation using Editable Gaussian Splatting in FalconGym 2.0. CoRR Yan Miao, Ege Yuceel, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Sayan Mitra
2025	—	`conf`	ProbStar Temporal Logic for Verifying Complex Behaviors of Learning-enabled Systems. HSCC Hoang-Dung Tran, Sung Woo Choi, Yuntao Li, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos
2025	C	`conf`	Risk-aware MPPI for Stochastic Hybrid Systems. ACC Hardik Parwana, Mitchell Black, Bardh Hoxha, Hideki Okamoto, Georgios Fainekos, Danil V. Prokhorov, Dimitra Panagou
2025	J	`jnl`	STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies. CoRR Yiqi Zhao, Xinyi Yu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
2025	J	`jnl`	STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies. ACM Trans. Embed. Comput. Syst. Yiqi Zhao, Xinyi Yu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy Deshmukh, Lars Lindemann
2025	J	`jnl`	Safe Model Predictive Diffusion with Shielding. CoRR Taekyung Kim, Keyvan Majd, Hideki Okamoto, Bardh Hoxha, Dimitra Panagou, Georgios Fainekos
2025	A	`conf`	Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions. IROS Xinyi Wang, Taekyung Kim, Bardh Hoxha, Georgios Fainekos, Dimitra Panagou
2025	J	`jnl`	Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions. CoRR Xinyi Wang, Taekyung Kim, Bardh Hoxha, Georgios Fainekos, Dimitra Panagou
2025	—	`conf`	Scalable Multi-Agent Path Finding for Delivery Robot Systems with Temporal and Edge Capacity Constraints on Weighted Graphs. CASE Tomoya Yamaguchi, Ippei Nishitani, Yusuke Ota, Bardh Hoxha, Georgios Fainekos
2025	—	`conf`	StarV: A Qualitative and Quantitative Verification Tool for Learning-Enabled Systems. CAV (2) Hoang-Dung Tran, Sung Woo Choi, Yuntao Li, Qing Liu, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos
2024	J	`jnl`	CBFKIT: A Control Barrier Function Toolbox for Robotics Applications. CoRR Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov
2024	A	`conf`	CBFkit: A Control Barrier Function Toolbox for Robotics Applications. IROS Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov
2024	J	`jnl`	Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic. Int. J. Robotics Res. Mohammad Hekmatnejad, Bardh Hoxha, Jyotirmoy V. Deshmukh, Yezhou Yang, Georgios Fainekos
2024	J	`jnl`	From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events. CoRR Yan Miao, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov, Sayan Mitra
2024	—	`conf`	LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers. ADHS Navid Hashemi, Samuel Williams, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
2024	J	`jnl`	Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions. CoRR Hardik Parwana, Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov
2024	J	`jnl`	Neural Configuration Distance Function for Continuum Robot Control. CoRR Kehan Long, Hardik Parwana, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Nikolay Atanasov
2024	A*	`conf`	Optimal Planning for Timed Partial Order Specifications. ICRA Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan
2024	J	`jnl`	Optimal Planning for Timed Partial Order Specifications. CoRR Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan
2024	J	`jnl`	Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees. IEEE Trans Autom. Sci. Eng. Giulia Pedrielli, Tanmay Khandait, Yumeng Cao, Quinn Thibeault, Hao Huang, Mauricio Castillo-Effen, Georgios Fainekos
2024	J	`jnl`	Querying Perception Streams with Spatial Regular Expressions. CoRR Jacob Anderson, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov
2024	A	`conf`	Repairing Neural Networks for Safety in Robotic Systems using Predictive Models. IROS Keyvan Majd, Geoffrey Clark, Georgios Fainekos, Heni Ben Amor
2024	J	`jnl`	Repairing Neural Networks for Safety in Robotic Systems using Predictive Models. CoRR Keyvan Majd, Geoffrey Mitchell Clark, Georgios Fainekos, Heni Ben Amor
2024	C	`conf`	Risk-Aware Fixed-Time Stabilization of Stochastic Systems Under Measurement Uncertainty. ACC Mitchell Black, Georgios Fainekos, Bardh Hoxha, Dimitra Panagou
2024	J	`jnl`	Risk-Aware Fixed-Time Stabilization of Stochastic Systems under Measurement Uncertainty. CoRR Mitchell Black, Georgios Fainekos, Bardh Hoxha, Dimitra Panagou
2024	J	`jnl`	Risk-aware MPPI for Stochastic Hybrid Systems. CoRR Hardik Parwana, Mitchell Black, Bardh Hoxha, Hideki Okamoto, Georgios Fainekos, Danil V. Prokhorov, Dimitra Panagou
2024	—	`conf`	Robust Conformal Prediction for STL Runtime Verification under Distribution Shift. ICCPS Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
2024	—	`conf`	SMT-Based Dynamic Multi-Robot Task Allocation. NFM Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia
2024	J	`jnl`	SMT-Based Dynamic Multi-Robot Task Allocation. CoRR Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia
2024	C	`conf`	Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions. ACC Shuo Yang, Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Rahul Mangharam
2024	J	`jnl`	Scaling Learning based Policy Optimization for Temporal Tasks via Dropout. CoRR Navid Hashemi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
2024	J	`jnl`	Scaling Learning-based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout. ACM Trans. Cyber Phys. Syst. Navid Hashemi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy V. Deshmukh
2023	J	`jnl`	A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems. CoRR Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
2023	—	`conf`	A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems. ICCPS Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
2023	—	`conf`	ARCH-COMP23 Category Report: Falsification. ARCH Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga, Zhenya Zhang
2023	J	`jnl`	Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics. CoRR Keyvan Majd, Geoffrey Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor
2023	—	`conf`	Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator. HSCC Tanmay Khandait, Aniruddh Chandratre, Walstan Baptista, Giulia Pedrielli, Georgios Fainekos
2023	J	`jnl`	Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation. CoRR Hardik Parwana, Mitchell Black, Bardh Hoxha, Hideki Okamoto, Georgios Fainekos, Danil V. Prokhorov, Dimitra Panagou
2023	B	`conf`	Pattern Matching for Perception Streams. RV Jacob Anderson, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov
2023	—	`conf`	Quantitative Verification for Neural Networks using ProbStars. HSCC Hoang-Dung Tran, Sungwoo Choi, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Danil V. Prokhorov
2023	C	`conf`	Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives. ACC Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Tomoya Yamaguchi
2023	J	`jnl`	Robust Conformal Prediction for STL Runtime Verification under Distribution Shift. CoRR Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
2023	J	`jnl`	Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions. CoRR Shuo Yang, Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Rahul Mangharam
2023	J	`jnl`	Safe Robot Learning in Assistive Devices through Neural Network Repair. CoRR Keyvan Majd, Geoffrey Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor
2023	A*	`conf`	Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions. ICRA Mitchell Black, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Dimitra Panagou
2023	J	`jnl`	Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions. CoRR Mitchell Black, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Dimitra Panagou
2023	—	`conf`	Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems. CASE Quinn Thibeault, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos
2023	—	`conf`	Stealthy attacks formalized as STL formulas for Falsification of CPS Security. HSCC Aniruddh Chandratre, Tomas Hernandez Acosta, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos
2023	A*	`conf`	Timed Partial Order Inference Algorithm. ICAPS Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Danil V. Prokhorov, Sriram Sankaranarayanan, Tomoya Yamaguchi
2023	J	`jnl`	Timed Partial Order Inference Algorithm. CoRR Kandai Watanabe, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Morteza Lahijanian, Sriram Sankaranarayanan, Tomoya Yamaguchi
2022	—	`conf`	ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. ARCH@SAFECOMP Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata, Zhenya Zhang
2022	J	`jnl`	Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic. CoRR Mohammad Hekmatnejad, Bardh Hoxha, Jyotirmoy V. Deshmukh, Yezhou Yang, Georgios Fainekos
2022	A*	`conf`	Joint Communication and Motion Planning for Cobots. ICRA Mehdi Dadvar, Keyvan Majd, Elena Oikonomou, Georgios Fainekos, Siddharth Srivastava
2022	A	`conf`	NMPC-LBF: Nonlinear MPC with Learned Barrier Function for Decentralized Safe Navigation of Multiple Robots in Unknown Environments. IROS Amir Salimi Lafmejani, Spring Berman, Georgios Fainekos
2022	J	`jnl`	NMPC-LBF: Nonlinear MPC with Learned Barrier Function for Decentralized Safe Navigation of Multiple Robots in Unknown Environments. CoRR Amir Salimi Lafmejani, Spring Berman, Georgios Fainekos
2022	A	`conf`	PyFoReL: A Domain-Specific Language for Formal Requirements in Temporal Logic. RE Jacob Anderson, Mohammad Hekmatnejad, Georgios Fainekos
2022	J	`jnl`	Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives. CoRR Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Tomoya Yamaguchi
2022	Misc	`conf`	Safe Robot Learning in Assistive Devices through Neural Network Repair. CoRL Keyvan Majd, Geoffrey Mitchell Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor
2021	—	`conf`	ARCH-COMP 2021 Category Report: Falsification with Validation of Results. ARCH@ADHS Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
2021	—	`conf`	Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements. CASE Logan Mathesen, Giulia Pedrielli, Georgios Fainekos
2021	A	`conf`	Efficient Resource Management of Clustered Multi-Processor Systems Through Formal Property Exploration. DATE Ourania Spantidi, Iraklis Anagnostopoulos, Georgios Fainekos
2021	J	`jnl`	Joint Communication and Motion Planning for Cobots. CoRR Mehdi Dadvar, Keyvan Majd, Elena Oikonomou, Georgios Fainekos, Siddharth Srivastava
2021	J	`jnl`	Local Repair of Neural Networks Using Optimization. CoRR Keyvan Majd, Siyu Zhou, Heni Ben Amor, Georgios Fainekos, Sriram Sankaranarayanan
2021	C	`conf`	PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. FMICS Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli, Georgios Fainekos
2021	J	`jnl`	PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. CoRR Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli, Georgios Fainekos
2021	J	`jnl`	Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees. CoRR Giulia Pedrielli, Tanmay Khandait, Surdeep Chotaliya, Quinn Thibeault, Hao Huang, Mauricio Castillo-Effen, Georgios Fainekos
2021	B	`conf`	PerceMon: Online Monitoring for Perception Systems. RV Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos
2021	J	`jnl`	PerceMon: Online Monitoring for Perception Systems. CoRR Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos
2021	J	`jnl`	Risk-Bounded Control Using Stochastic Barrier Functions. IEEE Control. Syst. Lett. Shakiba Yaghoubi, Keyvan Majd, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
2021	—	`conf`	Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions. CDC Shakiba Yaghoubi, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
2021	J	`jnl`	Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions. CoRR Shakiba Yaghoubi, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
2021	C	`conf`	Risk-bounded Control using Stochastic Barrier Functions. ACC Shakiba Yaghoubi, Keyvan Majd, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
2021	A	`conf`	Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions. IROS Keyvan Majd, Shakiba Yaghoubi, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos
2021	J	`jnl`	Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions. CoRR Keyvan Majd, Shakiba Yaghoubi, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos
2021	Misc	`conf`	Towards assurance case evidence generation through search based testing: work-in-progress. EMSOFT Yumeng Cao, Quinn Thibeault, Aniruddh Chandratre, Georgios Fainekos, Giulia Pedrielli, Mauricio Castillo-Effen
2020	—	`conf`	ARCH-COMP 2020 Category Report: Falsification. ARCH Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
2020	A*	`conf`	DeepCrashTest: Turning Dashcam Videos into Virtual Crash Tests for Automated Driving Systems. ICRA Sai Krishna Bashetty, Heni Ben Amor, Georgios Fainekos
2020	J	`jnl`	DeepCrashTest: Turning Dashcam Videos into Virtual Crash Tests for Automated Driving Systems. CoRR Sai Krishna Bashetty, Heni Ben Amor, Georgios Fainekos
2020	J	`jnl`	Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components. IEEE Trans. Intell. Veh. Cumhur Erkan Tuncali, Georgios Fainekos, Danil V. Prokhorov, Hisahiro Ito, James Kapinski
2020	—	`conf`	Search-based Test-CASe Generation by Monitoring Responsibility Safety Rules. ITSC Mohammad Hekmatnejad, Bardh Hoxha, Georgios Fainekos
2020	J	`jnl`	Search-based Test-Case Generation by Monitoring Responsibility Safety Rules. CoRR Mohammad Hekmatnejad, Bardh Hoxha, Georgios Fainekos
2020	B	`conf`	TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications. RV Joseph Cralley, Ourania Spantidi, Bardh Hoxha, Georgios Fainekos
2020	—	`conf`	Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances. ITSC Shakiba Yaghoubi, Georgios Fainekos, Sriram Sankaranarayanan
2020	J	`jnl`	Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances. CoRR Shakiba Yaghoubi, Georgios Fainekos, Sriram Sankaranarayanan
2020	Misc	`conf`	Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach. ITA Shakiba Yaghoubi, Georgios Fainekos
2019	—	`conf`	ARCH-COMP 2019 Category Report: Falsification. ARCH@CPSIoTWeek Gidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
2019	C	`conf`	Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic. MEMOCODE Mohammad Hekmatnejad, Shakiba Yaghoubi, Adel Dokhanchi, Heni Ben Amor, Aviral Shrivastava, Lina J. Karam, Georgios Fainekos
2019	—	`conf`	Falsification of Cyber-Physical Systems with Robustness Uncertainty Quantification Through Stochastic optimization with Adaptive Restart. CASE Logan Mathesen, Shakiba Yaghoubi, Giulia Pedrielli, Georgios Fainekos
2019	—	`conf`	Falsification of cyber-physical systems through multi-fidelity stochastic optimization. SNR Alireza Inanlouganji, Shakiba Yaghoubi, Georgios Fainekos, Giulia Pedrielli
2019	—	`conf`	Gray-box adversarial testing for control systems with machine learning components. HSCC Shakiba Yaghoubi, Georgios Fainekos
2019	J	`jnl`	Model Checking Clinical Decision Support Systems Using SMT. CoRR Mohammad Hekmatnejad, Georgios Fainekos
2019	—	`conf`	Rapidly-exploring Random Trees for Testing Automated Vehicles. ITSC Cumhur Erkan Tuncali, Georgios Fainekos
2019	J	`jnl`	Rapidly-exploring Random Trees-based Test Generation for Autonomous Vehicles. CoRR Cumhur Erkan Tuncali, Georgios Fainekos
2019	J	`jnl`	Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components. CoRR Cumhur Erkan Tuncali, Georgios Fainekos, Danil V. Prokhorov, Hisahiro Ito, James Kapinski
2019	B	`conf`	Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo. RV Georgios Fainekos, Bardh Hoxha, Sriram Sankaranarayanan
2019	A	`conf`	Specifying and Evaluating Quality Metrics for Vision-based Perception Systems. DATE Anand Balakrishnan, Aniruddh Gopinath Puranic, Xin Qin, Adel Dokhanchi, Jyotirmoy V. Deshmukh, Heni Ben Amor, Georgios Fainekos
2019	—	`conf`	Task Scheduling with Nonlinear Costs using SMT Solvers. CASE Mohammad Hekmatnejad, Giulia Pedrielli, Georgios Fainekos
2019	J	`jnl`	Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach. ACM Trans. Embed. Comput. Syst. Shakiba Yaghoubi, Georgios Fainekos
2018	—	`conf`	ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. ARCH@ADHS Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards
2018	Misc	`conf`	Continuous simulation Optimization with Model mismatch using Gaussian Process Regression. WSC Alireza Inanlouganji, Giulia Pedrielli, Georgios Fainekos, Sebastian Pokutta
2018	A*	`conf`	Deep Predictive Models for Collision Risk Assessment in Autonomous Driving. ICRA Mark Strickland, Georgios Fainekos, Heni Ben Amor
2018	Misc	`conf`	Embedded software for robotics: challenges and future directions: special session. EMSOFT Houssam Abbas, Indranil Saha, Yasser Shoukry, Rüdiger Ehlers, Georgios Fainekos, Rajesh Gupta, Rupak Majumdar, Dogan Ulus
2018	B	`conf`	Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic. RV Adel Dokhanchi, Heni Ben Amor, Jyotirmoy V. Deshmukh, Georgios Fainekos
2018	—	`conf`	Experience Report: Application of Falsification Methods on the UxAS System. NFM Cumhur Erkan Tuncali, Bardh Hoxha, Guohui Ding, Georgios Fainekos, Sriram Sankaranarayanan
2018	—	`conf`	Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time. ADHS Shakiba Yaghoubi, Georgios Fainekos
2018	J	`jnl`	Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
2018	J	`jnl`	Gray-box Adversarial Testing for Control Systems with Machine Learning Component. CoRR Shakiba Yaghoubi, Georgios Fainekos
2018	J	`jnl`	Local Descent For Temporal Logic Falsification of Cyber-Physical Systems (Extended Technical Report). CoRR Shakiba Yaghoubi, Georgios Fainekos
2018	J	`jnl`	Mining parametric temporal logic properties in model-based design for cyber-physical systems. Int. J. Softw. Tools Technol. Transf. Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos
2018	—	`conf`	Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS. ADHS Luan Viet Nguyen, Bardh Hoxha, Taylor T. Johnson, Georgios Fainekos
2018	C	`conf`	Optimal Multi-Valued LTL Planning for Systems with Access Right Levels. ACC Mohammad Hekmatnejad, Georgios Fainekos
2018	—	`conf`	Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles. HSCC Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski
2018	B	`conf`	Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components. Intelligent Vehicles Symposium Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski
2018	J	`jnl`	Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components. CoRR Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski
2018	—	`ch.`	Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications. Lectures on Runtime Verification Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan
2017	—	`conf`	ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks. ARCH@CPSWeek Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos
2017	J	`jnl`	Deep Predictive Models for Collision Risk Assessment in Autonomous Driving. CoRR Mark Strickland, Georgios Fainekos, Heni Ben Amor
2017	—	`conf`	Functional gradient descent optimization for automatic test case generation for vehicle controllers. CASE Cumhur Erkan Tuncali, Shakiba Yaghoubi, Theodore P. Pavlic, Georgios Fainekos
2017	C	`conf`	Hybrid approximate gradient and stochastic descent for falsification of nonlinear systems. ACC Shakiba Yaghoubi, Georgios Fainekos
2017	—	`conf`	Local Descent for Temporal Logic Falsification of Cyber-Physical Systems. CyPhy Shakiba Yaghoubi, Georgios Fainekos
2017	J	`jnl`	Model-based falsification of an artificial pancreas control system. SIGBED Rev. Sriram Sankaranarayanan, Suhas Akshar Kumar, Faye Cameron, B. Wayne Bequette, Georgios Fainekos, David M. Maahs
2017	C	`conf`	Temporal logic control under incomplete or conflicting information. ACC Georgios Fainekos, Herbert G. Tanner
2017	—	`conf`	Vacuity aware falsification for MTL request-response specifications. CASE Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos
2016	J	`jnl`	An Efficient Algorithm for Monitoring Practical TPTL Specifications. CoRR Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos
2016	C	`conf`	An efficient algorithm for monitoring practical TPTL specifications. MEMOCODE Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos
2016	J	`jnl`	Automatic Parallelization of Multirate Block Diagrams of Control Systems on Multicore Platforms. ACM Trans. Embed. Comput. Syst. Cumhur Erkan Tuncali, Georgios Fainekos, Yann-Hang Lee
2016	J	`jnl`	Extended LTLvis Motion Planning interface (Extended Technical Report). CoRR Wei Wei, Kangjin Kim, Georgios Fainekos
2016	B	`conf`	Extended LTLvis motion planning interface. SMC Wei Wei, Kangjin Kim, Georgios Fainekos
2016	J	`jnl`	Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems. CoRR Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
2016	J	`jnl`	Modeling Concurrency and Reconfiguration in Vehicular Systems: A $π$-calculus Approach. CoRR Joseph Campbell, Cumhur Erkan Tuncali, Theodore P. Pavlic, Georgios Fainekos
2016	—	`conf`	Modeling concurrency and reconfiguration in vehicular systems: A π-calculus approach. CASE Joseph Campbell, Cumhur Erkan Tuncali, Peng Liu, Theodore P. Pavlic, Ümit Özgüner, Georgios Fainekos
2016	—	`conf`	Planning in Dynamic Environments Through Temporal Logic Monitoring. AAAI Workshop: Planning for Hybrid Systems Bardh Hoxha, Georgios Fainekos
2016	—	`ed.`	Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016 HSCC Alessandro Abate, Georgios Fainekos
2016	—	`conf`	Traffic light status detection using movement patterns of vehicles. ITSC Joseph Campbell, Heni Ben Amor, Marcelo H. Ang, Georgios Fainekos
2016	—	`conf`	Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles. ITSC Cumhur Erkan Tuncali, Theodore P. Pavlic, Georgios Fainekos
2015	—	`conf`	Automatic Parallelization of Simulink Models for Multi-core Architectures. HPCC/CSS/ICESS Cumhur Erkan Tuncali, Georgios Fainekos, Yann-Hang Lee
2015	C	`conf`	Automotive control design bug-finding with the S-TaLiRo tool. ACC Georgios Fainekos
2015	C	`conf`	Beyond single shooting: Iterative approaches to falsification. ACC Jyotirmoy V. Deshmukh, Georgios Fainekos, James Kapinski, Sriram Sankaranarayanan, Aditya Zutshi, Xiaoqing Jin
2015	—	`conf`	DisCoF CASE Kangjin Kim, Joe Campbell, William Duong, Yu Zhang, Georgios Fainekos
2015	J	`jnl`	DisCoF$^+$: Asynchronous DisCoF with Flexible Decoupling for Cooperative Pathfinding in Distributed Systems. CoRR Kangjin Kim, Joe Campbell, William Duong, Yu Zhang, Georgios Fainekos
2015	C	`conf`	Metric interval temporal logic specification elicitation and debugging. MEMOCODE Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
2015	J	`jnl`	On the minimal revision problem of specification automata. Int. J. Robotics Res. Kangjin Kim, Georgios Fainekos, Sriram Sankaranarayanan
2015	J	`jnl`	Querying Parametric Temporal Logic Properties in Model Based Design. CoRR Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos
2015	Misc	`conf`	Requirements driven falsification with coverage metrics. EMSOFT Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva, Sriram Sankaranarayanan, Georgios Fainekos
2015	B	`conf`	Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification. RV Fraser Cameron, Georgios Fainekos, David M. Maahs, Sriram Sankaranarayanan
2015	J	`jnl`	Towards composition of conformant systems. CoRR Houssam Abbas, Georgios Fainekos
2015	A	`conf`	VISPEC: A graphical tool for elicitation of MTL requirements. IROS Bardh Hoxha, Nikolaos Mavridis, Georgios Fainekos
2015	J	`jnl`	ViSpec: A graphical tool for elicitation of MTL requirements. CoRR Bardh Hoxha, Nikolaos Mavridis, Georgios Fainekos
2014	—	`conf`	Benchmarks for Temporal Logic Requirements for Automotive Systems. ARCH@CPSWeek Bardh Hoxha, Houssam Abbas, Georgios Fainekos
2014	J	`jnl`	Conformance Testing as Falsification for Cyber-Physical Systems. CoRR Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda
2014	—	`conf`	DisCoF: Cooperative Pathfinding in Distributed Systems with Limited Sensing and Communication Range. DARS Yu Zhang, Kangjin Kim, Georgios Fainekos
2014	C	`conf`	Formal property verification in a conformance testing framework. MEMOCODE Houssam Abbas, Hans D. Mittelmann, Georgios Fainekos
2014	C	`conf`	Functional gradient descent method for Metric Temporal Logic specifications. ACC Houssam Abbas, Andrew K. Winn, Georgios Fainekos, A. Agung Julius
2014	J	`jnl`	On the Minimal Revision Problem of Specification Automata. CoRR Kangjin Kim, Georgios Fainekos, Sriram Sankaranarayanan
2014	B	`conf`	On-Line Monitoring for Temporal Logic Robustness. RV Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
2014	J	`jnl`	On-Line Monitoring for Temporal Logic Robustness. CoRR Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
2014	J	`jnl`	Revision of Specification Automata under Quantitative Preferences. CoRR Kangjin Kim, Georgios Fainekos
2014	A*	`conf`	Revision of specification automata under quantitative preferences. ICRA Kangjin Kim, Georgios Fainekos
2014	—	`conf`	Using S-TaLiRo on Industrial Size AuImmlertomotive Models. ARCH@CPSWeek Bardh Hoxha, Houssam Abbas, Georgios Fainekos
2014	—	`conf`	WiP abstract: Conformance testing as falsification for cyber-physical systems. ICCPS Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda
2013	—	`conf`	A graphical language for LTL motion and mission planning. ROBIO Shashank Srinivas, Ramtin Kermani, Kangjin Kim, Yoshihiro Kobayashi, Georgios Fainekos
2013	C	`conf`	Computing descent direction of MTL robustness for non-linear systems. ACC Houssam Abbas, Georgios Fainekos
2013	A*	`conf`	Minimal specification revision for weighted transition systems. ICRA Kangjin Kim, Georgios Fainekos
2013	J	`jnl`	Probabilistic Temporal Logic Falsification of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. Houssam Abbas, Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
2012	—	`conf`	A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patients. Allerton Conference Sriram Sankaranarayanan, Christopher Miller, Rangarajan Raghunathan, Hadi Ravanbakhsh, Georgios Fainekos
2012	A	`conf`	Approximate solutions for the minimal revision problem of specification automata. IROS Kangjin Kim, Georgios Fainekos
2012	—	`conf`	Convergence proofs for Simulated Annealing falsification of safety properties. Allerton Conference Houssam Abbas, Georgios Fainekos
2012	J	`jnl`	Editorial: Special Section VCPSS'09. ACM Trans. Embed. Comput. Syst. Georgios Fainekos, Eric Goubault, Franjo Ivancic, Sriram Sankaranarayanan
2012	—	`conf`	Falsification of temporal properties of hybrid systems using the cross-entropy method. HSCC Sriram Sankaranarayanan, Georgios Fainekos
2012	—	`conf`	Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System. CMSB Sriram Sankaranarayanan, Georgios Fainekos
2011	B	`conf`	Combining Time and Frequency Domain Specifications for Periodic Signals. RV Aleksandar Chakarov, Sriram Sankaranarayanan, Georgios Fainekos
2011	J	`jnl`	Foreword. Math. Comput. Sci. Georgios Fainekos, Eric Goubault, Sylvie Putot, Stefan Ratschan
2011	J	`jnl`	Linear Hybrid System Falsification Through Descent CoRR Houssam Abbas, Georgios Fainekos
2011	B	`conf`	Linear Hybrid System Falsification through Local Search. ATVA Houssam Abbas, Georgios Fainekos
2011	A	`conf`	S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. TACAS Yashwanth Annpureddy, Che Liu, Georgios Fainekos, Sriram Sankaranarayanan
2011	—	`conf`	Towards modeling and analysis of cyber-physical medical systems. ISABEL Ayan Banerjee, Sandeep K. S. Gupta, Georgios Fainekos, Georgios Varsamopoulos
2010	—	`conf`	Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. HSCC Truong Nghiem, Sriram Sankaranarayanan, Georgios Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas
2009	A	`conf`	Robustness of Model-Based Simulations. RTSS Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta