Georgios Fainekos

According to our database, Georgios Fainekos authored at least 150 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees.

Giulia Pedrielli, Tanmay Khandait, Yumeng Cao, Quinn Thibeault, Hao Huang, Mauricio Castillo-Effen, Georgios Fainekos

IEEE Trans Autom. Sci. Eng., July, 2024

Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic.

Mohammad Hekmatnejad, Bardh Hoxha, Jyotirmoy V. Deshmukh, Yezhou Yang, Georgios Fainekos

Int. J. Robotics Res., February, 2024

Neural Configuration Distance Function for Continuum Robot Control.

Kehan Long, Hardik Parwana, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Nikolay Atanasov

CoRR, 2024

Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions.

Hardik Parwana, Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov

CoRR, 2024

CBFKIT: A Control Barrier Function Toolbox for Robotics Applications.

Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov

CoRR, 2024

Scaling Learning based Policy Optimization for Temporal Tasks via Dropout.

Navid Hashemi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh

CoRR, 2024

SMT-Based Dynamic Multi-Robot Task Allocation.

Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

Optimal Planning for Timed Partial Order Specifications.

Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift.

Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions.

Shuo Yang, Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Rahul Mangharam

Proceedings of the American Control Conference, 2024

Risk-Aware Fixed-Time Stabilization of Stochastic Systems Under Measurement Uncertainty.

Mitchell Black, Georgios Fainekos, Bardh Hoxha, Dimitra Panagou

Proceedings of the American Control Conference, 2024

2023

Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation.

Hardik Parwana, Mitchell Black, Bardh Hoxha, Hideki Okamoto, Georgios Fainekos, Danil V. Prokhorov, Dimitra Panagou

CoRR, 2023

Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics.

Keyvan Majd, Geoffrey Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor

CoRR, 2023

Safe Robot Learning in Assistive Devices through Neural Network Repair.

Keyvan Majd, Geoffrey Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor

CoRR, 2023

Pattern Matching for Perception Streams.

Jacob Anderson, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions.

Mitchell Black, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Dimitra Panagou

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems.

Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Quantitative Verification for Neural Networks using ProbStars.

Hoang-Dung Tran, Sungwoo Choi, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Danil V. Prokhorov

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator.

Tanmay Khandait, Aniruddh Chandratre, Walstan Baptista, Giulia Pedrielli, Georgios Fainekos

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Stealthy attacks formalized as STL formulas for Falsification of CPS Security.

Aniruddh Chandratre, Tomas Hernandez Acosta, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems.

Quinn Thibeault, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

ARCH-COMP23 Category Report: Falsification.

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

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives.

Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Tomoya Yamaguchi

Proceedings of the American Control Conference, 2023

Timed Partial Order Inference Algorithm.

Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Danil V. Prokhorov, Sriram Sankaranarayanan, Tomoya Yamaguchi

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2022

PyFoReL: A Domain-Specific Language for Formal Requirements in Temporal Logic.

Jacob Anderson, Mohammad Hekmatnejad, Georgios Fainekos

Proceedings of the 30th IEEE International Requirements Engineering Conference, 2022

NMPC-LBF: Nonlinear MPC with Learned Barrier Function for Decentralized Safe Navigation of Multiple Robots in Unknown Environments.

Amir Salimi Lafmejani, Spring Berman, Georgios Fainekos

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Joint Communication and Motion Planning for Cobots.

Mehdi Dadvar, Keyvan Majd, Elena Oikonomou, Georgios Fainekos, Siddharth Srivastava

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Safe Robot Learning in Assistive Devices through Neural Network Repair.

Keyvan Majd, Geoffrey Mitchell Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor

Proceedings of the Conference on Robot Learning, 2022

ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources.

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

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

Risk-Bounded Control Using Stochastic Barrier Functions.

Shakiba Yaghoubi, Keyvan Majd, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha

IEEE Control. Syst. Lett., 2021

Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees.

Giulia Pedrielli, Tanmay Khandait, Surdeep Chotaliya, Quinn Thibeault, Hao Huang, Mauricio Castillo-Effen, Georgios Fainekos

CoRR, 2021

Local Repair of Neural Networks Using Optimization.

Keyvan Majd, Siyu Zhou, Heni Ben Amor, Georgios Fainekos, Sriram Sankaranarayanan

CoRR, 2021

PerceMon: Online Monitoring for Perception Systems.

Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos

Proceedings of the Runtime Verification - 21st International Conference, 2021

Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions.

Keyvan Majd, Shakiba Yaghoubi, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems.

Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli, Georgios Fainekos

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

Towards assurance case evidence generation through search based testing: work-in-progress.

Yumeng Cao, Quinn Thibeault, Aniruddh Chandratre, Georgios Fainekos, Giulia Pedrielli, Mauricio Castillo-Effen

Proceedings of the EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8, 2021

Efficient Resource Management of Clustered Multi-Processor Systems Through Formal Property Exploration.

Ourania Spantidi, Iraklis Anagnostopoulos, Georgios Fainekos

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions.

Shakiba Yaghoubi, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements.

Logan Mathesen, Giulia Pedrielli, Georgios Fainekos

Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

ARCH-COMP 2021 Category Report: Falsification with Validation of Results.

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

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components.

Cumhur Erkan Tuncali, Georgios Fainekos, Danil V. Prokhorov, Hisahiro Ito, James Kapinski

IEEE Trans. Intell. Veh., 2020

TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications.

Joseph Cralley, Ourania Spantidi, Bardh Hoxha, Georgios Fainekos

Proceedings of the Runtime Verification - 20th International Conference, 2020

Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances.

Shakiba Yaghoubi, Georgios Fainekos, Sriram Sankaranarayanan

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Search-based Test-CASe Generation by Monitoring Responsibility Safety Rules.

Mohammad Hekmatnejad, Bardh Hoxha, Georgios Fainekos

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

DeepCrashTest: Turning Dashcam Videos into Virtual Crash Tests for Automated Driving Systems.

Sai Krishna Bashetty, Heni Ben Amor, Georgios Fainekos

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

ARCH-COMP 2020 Category Report: Falsification.

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

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach.

Shakiba Yaghoubi, Georgios Fainekos

ACM Trans. Embed. Comput. Syst., 2019

Rapidly-exploring Random Trees-based Test Generation for Autonomous Vehicles.

Cumhur Erkan Tuncali, Georgios Fainekos

CoRR, 2019

Model Checking Clinical Decision Support Systems Using SMT.

Mohammad Hekmatnejad, Georgios Fainekos

CoRR, 2019

Falsification of cyber-physical systems through multi-fidelity stochastic optimization.

Alireza Inanlouganji, Shakiba Yaghoubi, Georgios Fainekos, Giulia Pedrielli

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2019

Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo.

Georgios Fainekos, Bardh Hoxha, Sriram Sankaranarayanan

Proceedings of the Runtime Verification - 19th International Conference, 2019

Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic.

Mohammad Hekmatnejad, Shakiba Yaghoubi, Adel Dokhanchi, Heni Ben Amor, Aviral Shrivastava, Lina J. Karam, Georgios Fainekos

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

Rapidly-exploring Random Trees for Testing Automated Vehicles.

Cumhur Erkan Tuncali, Georgios Fainekos

Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Gray-box adversarial testing for control systems with machine learning components.

Shakiba Yaghoubi, Georgios Fainekos

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Specifying and Evaluating Quality Metrics for Vision-based Perception Systems.

Anand Balakrishnan, Aniruddh Gopinath Puranic, Xin Qin, Adel Dokhanchi, Jyotirmoy V. Deshmukh, Heni Ben Amor, Georgios Fainekos

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

ARCH-COMP 2019 Category Report: Falsification.

Gidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Falsification of Cyber-Physical Systems with Robustness Uncertainty Quantification Through Stochastic optimization with Adaptive Restart.

Logan Mathesen, Shakiba Yaghoubi, Giulia Pedrielli, Georgios Fainekos

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

Task Scheduling with Nonlinear Costs using SMT Solvers.

Mohammad Hekmatnejad, Giulia Pedrielli, Georgios Fainekos

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2018

Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.

Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan

Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems.

Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos

ACM Trans. Embed. Comput. Syst., 2018

Mining parametric temporal logic properties in model-based design for cyber-physical systems.

Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos

Int. J. Softw. Tools Technol. Transf., 2018

Gray-box Adversarial Testing for Control Systems with Machine Learning Component.

Shakiba Yaghoubi, Georgios Fainekos

CoRR, 2018

Local Descent For Temporal Logic Falsification of Cyber-Physical Systems (Extended Technical Report).

Shakiba Yaghoubi, Georgios Fainekos

CoRR, 2018

Continuous simulation Optimization with Model mismatch using Gaussian Process Regression.

Alireza Inanlouganji, Giulia Pedrielli, Georgios Fainekos, Sebastian Pokutta

Proceedings of the 2018 Winter Simulation Conference, 2018

Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic.

Adel Dokhanchi, Heni Ben Amor, Jyotirmoy V. Deshmukh, Georgios Fainekos

Proceedings of the Runtime Verification - 18th International Conference, 2018

Experience Report: Application of Falsification Methods on the UxAS System.

Cumhur Erkan Tuncali, Bardh Hoxha, Guohui Ding, Georgios Fainekos, Sriram Sankaranarayanan

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components.

Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski

Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Deep Predictive Models for Collision Risk Assessment in Autonomous Driving.

Mark Strickland, Georgios Fainekos, Heni Ben Amor

Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles.

Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Embedded software for robotics: challenges and future directions: special session.

Houssam Abbas, Indranil Saha, Yasser Shoukry, Rüdiger Ehlers, Georgios Fainekos, Rajesh Gupta, Rupak Majumdar, Dogan Ulus

Proceedings of the International Conference on Embedded Software, 2018

Optimal Multi-Valued LTL Planning for Systems with Access Right Levels.

Mohammad Hekmatnejad, Georgios Fainekos

Proceedings of the 2018 Annual American Control Conference, 2018

Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time.

Shakiba Yaghoubi, Georgios Fainekos

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS.

Luan Viet Nguyen, Bardh Hoxha, Taylor T. Johnson, Georgios Fainekos

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.

Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Model-based falsification of an artificial pancreas control system.

Sriram Sankaranarayanan, Suhas Akshar Kumar, Faye Cameron, B. Wayne Bequette, Georgios Fainekos, David M. Maahs

SIGBED Rev., 2017

Local Descent for Temporal Logic Falsification of Cyber-Physical Systems.

Shakiba Yaghoubi, Georgios Fainekos

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks.

Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

Functional gradient descent optimization for automatic test case generation for vehicle controllers.

Cumhur Erkan Tuncali, Shakiba Yaghoubi, Theodore P. Pavlic, Georgios Fainekos

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Vacuity aware falsification for MTL request-response specifications.

Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Hybrid approximate gradient and stochastic descent for falsification of nonlinear systems.

Shakiba Yaghoubi, Georgios Fainekos

Proceedings of the 2017 American Control Conference, 2017

Temporal logic control under incomplete or conflicting information.

Georgios Fainekos, Herbert G. Tanner

Proceedings of the 2017 American Control Conference, 2017

2016

Automatic Parallelization of Multirate Block Diagrams of Control Systems on Multicore Platforms.

Cumhur Erkan Tuncali, Georgios Fainekos, Yann-Hang Lee

ACM Trans. Embed. Comput. Syst., 2016

Extended LTLvis Motion Planning interface (Extended Technical Report).

Wei Wei, Kangjin Kim, Georgios Fainekos

CoRR, 2016

Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems.

Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos

CoRR, 2016

Modeling Concurrency and Reconfiguration in Vehicular Systems: A $π$-calculus Approach.

Joseph Campbell, Cumhur Erkan Tuncali, Theodore P. Pavlic, Georgios Fainekos

CoRR, 2016

Extended LTLvis motion planning interface.

Wei Wei, Kangjin Kim, Georgios Fainekos

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

An efficient algorithm for monitoring practical TPTL specifications.

Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles.

Cumhur Erkan Tuncali, Theodore P. Pavlic, Georgios Fainekos

Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

Traffic light status detection using movement patterns of vehicles.

Joseph Campbell, Heni Ben Amor, Marcelo H. Ang, Georgios Fainekos

Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

Modeling concurrency and reconfiguration in vehicular systems: A π-calculus approach.

Joseph Campbell, Cumhur Erkan Tuncali, Peng Liu, Theodore P. Pavlic, Ümit Özgüner, Georgios Fainekos

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

Planning in Dynamic Environments Through Temporal Logic Monitoring.

Bardh Hoxha, Georgios Fainekos

Proceedings of the Planning for Hybrid Systems, 2016

2015

On the minimal revision problem of specification automata.

Kangjin Kim, Georgios Fainekos, Sriram Sankaranarayanan

Int. J. Robotics Res., 2015

DisCoF$^+$: Asynchronous DisCoF with Flexible Decoupling for Cooperative Pathfinding in Distributed Systems.

Kangjin Kim, Joe Campbell, William Duong, Yu Zhang, Georgios Fainekos

CoRR, 2015

Querying Parametric Temporal Logic Properties in Model Based Design.

Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos

CoRR, 2015

Towards composition of conformant systems.

Houssam Abbas, Georgios Fainekos

CoRR, 2015

Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification.

Fraser Cameron, Georgios Fainekos, David M. Maahs, Sriram Sankaranarayanan

Proceedings of the Runtime Verification - 6th International Conference, 2015

Metric interval temporal logic specification elicitation and debugging.

Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

VISPEC: A graphical tool for elicitation of MTL requirements.

Bardh Hoxha, Nikolaos Mavridis, Georgios Fainekos

Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

Automatic Parallelization of Simulink Models for Multi-core Architectures.

Cumhur Erkan Tuncali, Georgios Fainekos, Yann-Hang Lee

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

Requirements driven falsification with coverage metrics.

Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva, Sriram Sankaranarayanan, Georgios Fainekos

Proceedings of the 2015 International Conference on Embedded Software, 2015

DisCoF⁺: Asynchronous DisCoF with flexible decoupling for cooperative pathfinding in distributed systems.

Kangjin Kim, Joe Campbell, William Duong, Yu Zhang, Georgios Fainekos

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Automotive control design bug-finding with the S-TaLiRo tool.

Georgios Fainekos

Proceedings of the American Control Conference, 2015

Beyond single shooting: Iterative approaches to falsification.

Jyotirmoy V. Deshmukh, Georgios Fainekos, James Kapinski, Sriram Sankaranarayanan, Aditya Zutshi, Xiaoqing Jin

Proceedings of the American Control Conference, 2015

2014

Conformance Testing as Falsification for Cyber-Physical Systems.

Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda

CoRR, 2014

On-Line Monitoring for Temporal Logic Robustness.

Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos

Proceedings of the Runtime Verification - 5th International Conference, 2014

Formal property verification in a conformance testing framework.

Houssam Abbas, Hans D. Mittelmann, Georgios Fainekos

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

Revision of specification automata under quantitative preferences.

Kangjin Kim, Georgios Fainekos

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

WiP abstract: Conformance testing as falsification for cyber-physical systems.

Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda

Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

DisCoF: Cooperative Pathfinding in Distributed Systems with Limited Sensing and Communication Range.

Yu Zhang, Kangjin Kim, Georgios Fainekos

Proceedings of the Distributed Autonomous Robotic Systems, 2014

Using S-TaLiRo on Industrial Size AuImmlertomotive Models.

Bardh Hoxha, Houssam Abbas, Georgios Fainekos

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2014

Benchmarks for Temporal Logic Requirements for Automotive Systems.

Bardh Hoxha, Houssam Abbas, Georgios Fainekos

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2014

Functional gradient descent method for Metric Temporal Logic specifications.

Houssam Abbas, Andrew K. Winn, Georgios Fainekos, A. Agung Julius

Proceedings of the American Control Conference, 2014

2013

Probabilistic Temporal Logic Falsification of Cyber-Physical Systems.

Houssam Abbas, Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta

ACM Trans. Embed. Comput. Syst., 2013

A graphical language for LTL motion and mission planning.

Shashank Srinivas, Ramtin Kermani, Kangjin Kim, Yoshihiro Kobayashi, Georgios Fainekos

Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2013

Minimal specification revision for weighted transition systems.

Kangjin Kim, Georgios Fainekos

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Computing descent direction of MTL robustness for non-linear systems.

Houssam Abbas, Georgios Fainekos

Proceedings of the American Control Conference, 2013

2012

Editorial: Special Section VCPSS'09.

Georgios Fainekos, Eric Goubault, Franjo Ivancic, Sriram Sankaranarayanan

ACM Trans. Embed. Comput. Syst., 2012

Querying Parametric Temporal Logic Properties on Embedded Systems.

Hengyi Yang, Bardh Hoxha, Georgios E. Fainekos

Proceedings of the Testing Software and Systems, 2012

Approximate solutions for the minimal revision problem of specification automata.

Kangjin Kim, Georgios Fainekos

Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012

On the revision problem of specification automata.

Kangjin Kim, Georgios E. Fainekos, Sriram Sankaranarayanan

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Falsification of temporal properties of hybrid systems using the cross-entropy method.

Sriram Sankaranarayanan, Georgios Fainekos

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System.

Sriram Sankaranarayanan, Georgios Fainekos

Proceedings of the Computational Methods in Systems Biology, 2012

Verification of automotive control applications using S-TaLiRo.

Georgios E. Fainekos, Sriram Sankaranarayanan, Koichi Ueda, Hakan Yazarel

Proceedings of the American Control Conference, 2012

A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patients.

Sriram Sankaranarayanan, Christopher Miller, Rangarajan Raghunathan, Hadi Ravanbakhsh, Georgios Fainekos

Proceedings of the 50th Annual Allerton Conference on Communication, 2012

Convergence proofs for Simulated Annealing falsification of safety properties.

Houssam Abbas, Georgios Fainekos

Proceedings of the 50th Annual Allerton Conference on Communication, 2012

2011

Foreword.

Georgios Fainekos, Eric Goubault, Sylvie Putot, Stefan Ratschan

Math. Comput. Sci., 2011

Linear Hybrid System Falsification Through Descent

Houssam Abbas, Georgios Fainekos

CoRR, 2011

S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems.

Yashwanth Annpureddy, Che Liu, Georgios Fainekos, Sriram Sankaranarayanan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Combining Time and Frequency Domain Specifications for Periodic Signals.

Aleksandar Chakarov, Sriram Sankaranarayanan, Georgios Fainekos

Proceedings of the Runtime Verification - Second International Conference, 2011

Towards modeling and analysis of cyber-physical medical systems.

Ayan Banerjee, Sandeep K. S. Gupta, Georgios Fainekos, Georgios Varsamopoulos

Proceedings of the 4th International Symposium on Applied Sciences in Biomedical and Communication Technologies, 2011

Revising temporal logic specifications for motion planning.

Georgios E. Fainekos

Proceedings of the IEEE International Conference on Robotics and Automation, 2011

Linear Hybrid System Falsification through Local Search.

Houssam Abbas, Georgios Fainekos

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems.

Truong Nghiem, Sriram Sankaranarayanan, Georgios Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas

Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

2009

Temporal-Logic-Based Reactive Mission and Motion Planning.

Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas

IEEE Trans. Robotics, 2009

Robustness of temporal logic specifications for continuous-time signals.

Georgios E. Fainekos, George J. Pappas

Theor. Comput. Sci., 2009

Temporal logic motion planning for dynamic robots.

Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit, George J. Pappas

Autom., 2009

Robustness of Model-Based Simulations.

Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

MTL robust testing and verification for LPV systems.

Georgios E. Fainekos, George J. Pappas

Proceedings of the American Control Conference, 2009

2008

Translating Structured English to Robot Controllers.

Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas

Adv. Robotics, 2008

2007

From structured english to robot motion.

Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas

Proceedings of the 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29, 2007

Where's Waldo? Sensor-Based Temporal Logic Motion Planning.

Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas

Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007

Robust Test Generation and Coverage for Hybrid Systems.

A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications.

Georgios E. Fainekos, Antoine Girard, George J. Pappas

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Robust Sampling for MITL Specifications.

Georgios E. Fainekos, George J. Pappas

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

2006

Temporal Logic Verification Using Simulation.

Georgios E. Fainekos, Antoine Girard, George J. Pappas

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

Robustness of Temporal Logic Specifications.

Georgios E. Fainekos, George J. Pappas

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

Translating Temporal Logic to Controller Specifications.

Georgios E. Fainekos, Savvas G. Loizou, George J. Pappas

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

2005

Temporal Logic Motion Planning for Mobile Robots.

Georgios E. Fainekos, Hadas Kress-Gazit, George J. Pappas

Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005

Hybrid Controllers for Path Planning: A Temporal Logic Approach.

Georgios E. Fainekos, Hadas Kress-Gazit, George J. Pappas

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2004

Experimental cooperative control of fixed-wing unmanned aerial vehicles.

Selcuk Bayraktar, Georgios E. Fainekos, George J. Pappas

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004