Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDGeorgios Fainekos
Georgios E. Fainekos
Person information
- affiliation: Arizona State University, Tempe, Arizona, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j15]Shakiba Yaghoubi, Keyvan Majd, Georgios Fainekos
, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha:
Risk-Bounded Control Using Stochastic Barrier Functions. IEEE Control. Syst. Lett. 5(5): 1831-1836 (2021)- [c87]Shakiba Yaghoubi, Keyvan Majd, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha:
Risk-bounded Control using Stochastic Barrier Functions. ACC 2021: 1131-1136 - [c86]Logan Mathesen, Giulia Pedrielli, Georgios Fainekos:
Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements. CASE 2021: 732-737 - [c85]Ourania Spantidi, Iraklis Anagnostopoulos, Georgios Fainekos:
Efficient Resource Management of Clustered Multi-Processor Systems Through Formal Property Exploration. DATE 2021: 1673-1678 - [c84]Yumeng Cao, Quinn Thibeault, Aniruddh Chandratre, Georgios Fainekos, Giulia Pedrielli, Mauricio Castillo-Effen:
Towards assurance case evidence generation through search based testing: work-in-progress. EMSOFT 2021: 41-42 - [c83]Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli, Georgios Fainekos:
PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. FMICS 2021: 223-231 - [c82]Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos:
PerceMon: Online Monitoring for Perception Systems. RV 2021: 297-308 - [i29]Keyvan Majd, Shakiba Yaghoubi, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos:
Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions. CoRR abs/2105.01204 (2021) - [i28]Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli, Georgios Fainekos:
PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. CoRR abs/2106.02200 (2021) - [i27]Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos:
PerceMon: Online Monitoring for Perception Systems. CoRR abs/2108.08289 (2021) - [i26]Mehdi Dadvar, Keyvan Majd, Elena Oikonomou, Georgios Fainekos, Siddharth Srivastava:
Joint Communication and Motion Planning for Cobots. CoRR abs/2109.14004 (2021) - [i25]Keyvan Majd, Siyu Zhou, Heni Ben Amor, Georgios Fainekos, Sriram Sankaranarayanan:
Local Repair of Neural Networks Using Optimization. CoRR abs/2109.14041 (2021) - [i24]Giulia Pedrielli, Tanmay Khandait, Surdeep Chotaliya, Quinn Thibeault, Hao Huang, Mauricio Castillo-Effen, Georgios Fainekos:
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees. CoRR abs/2110.10729 (2021) - 2020
- [j14]Cumhur Erkan Tuncali, Georgios Fainekos, Danil V. Prokhorov, Hisahiro Ito, James Kapinski:
Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components. IEEE Trans. Intell. Veh. 5(2): 265-280 (2020) - [c81]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:
ARCH-COMP 2020 Category Report: Falsification. ARCH 2020: 140-152 - [c80]Sai Krishna Bashetty, Heni Ben Amor, Georgios Fainekos:
DeepCrashTest: Turning Dashcam Videos into Virtual Crash Tests for Automated Driving Systems. ICRA 2020: 11353-11360 - [c79]Shakiba Yaghoubi, Georgios Fainekos:
Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach. ITA 2020: 1-20 - [c78]Mohammad Hekmatnejad, Bardh Hoxha, Georgios Fainekos:
Search-based Test-CASe Generation by Monitoring Responsibility Safety Rules. ITSC 2020: 1-8 - [c77]Shakiba Yaghoubi, Georgios Fainekos, Sriram Sankaranarayanan:
Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances. ITSC 2020: 1-6 - [c76]Joseph Cralley, Ourania Spantidi, Bardh Hoxha, Georgios Fainekos:
TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications. RV 2020: 404-416 - [i23]Shakiba Yaghoubi, Georgios Fainekos, Sriram Sankaranarayanan:
Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances. CoRR abs/2001.08088 (2020) - [i22]Sai Krishna Bashetty, Heni Ben Amor, Georgios Fainekos:
DeepCrashTest: Turning Dashcam Videos into Virtual Crash Tests for Automated Driving Systems. CoRR abs/2003.11766 (2020) - [i21]Mohammad Hekmatnejad, Bardh Hoxha, Georgios Fainekos:
Search-based Test-Case Generation by Monitoring Responsibility Safety Rules. CoRR abs/2005.00326 (2020)
2010 – 2019
- 2019
- [j13]Shakiba Yaghoubi, Georgios Fainekos:
Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach. ACM Trans. Embed. Comput. Syst. 18(5s): 107:1-107:20 (2019) - [c75]Mohammad Hekmatnejad, Giulia Pedrielli, Georgios Fainekos:
Task Scheduling with Nonlinear Costs using SMT Solvers. CASE 2019: 183-188 - [c74]Logan Mathesen, Shakiba Yaghoubi, Giulia Pedrielli, Georgios Fainekos:
Falsification of Cyber-Physical Systems with Robustness Uncertainty Quantification Through Stochastic optimization with Adaptive Restart. CASE 2019: 991-997 - [c73]Gidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang:
ARCH-COMP 2019 Category Report: Falsification. ARCH@CPSIoTWeek 2019: 129-140 - [c72]Anand Balakrishnan, Aniruddh Gopinath Puranic, Xin Qin, Adel Dokhanchi, Jyotirmoy V. Deshmukh, Heni Ben Amor, Georgios Fainekos:
Specifying and Evaluating Quality Metrics for Vision-based Perception Systems. DATE 2019: 1433-1438 - [c71]Shakiba Yaghoubi, Georgios Fainekos:
Gray-box adversarial testing for control systems with machine learning components. HSCC 2019: 179-184 - [c70]Cumhur Erkan Tuncali, Georgios Fainekos:
Rapidly-exploring Random Trees for Testing Automated Vehicles. ITSC 2019: 661-666 - [c69]Mohammad Hekmatnejad, Shakiba Yaghoubi, Adel Dokhanchi, Heni Ben Amor, Aviral Shrivastava, Lina J. Karam, Georgios Fainekos:
Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic. MEMOCODE 2019: 6:1-6:11 - [c68]Georgios Fainekos, Bardh Hoxha, Sriram Sankaranarayanan:
Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo. RV 2019: 27-47 - [i20]Mohammad Hekmatnejad, Georgios Fainekos:
Model Checking Clinical Decision Support Systems Using SMT. CoRR abs/1901.04545 (2019) - [i19]Cumhur Erkan Tuncali, Georgios Fainekos:
Rapidly-exploring Random Trees-based Test Generation for Autonomous Vehicles. CoRR abs/1903.10629 (2019) - [i18]Cumhur Erkan Tuncali, Georgios Fainekos, Danil V. Prokhorov, Hisahiro Ito, James Kapinski:
Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components. CoRR abs/1908.01094 (2019) - 2018
- [j12]Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos:
Mining parametric temporal logic properties in model-based design for cyber-physical systems. Int. J. Softw. Tools Technol. Transf. 20(1): 79-93 (2018) - [j11]Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos:
Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 17(2): 34:1-34:26 (2018) - [c67]Luan Viet Nguyen, Bardh Hoxha, Taylor T. Johnson, Georgios Fainekos:
Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS. ADHS 2018: 67-72 - [c66]Shakiba Yaghoubi, Georgios Fainekos:
Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time. ADHS 2018: 103-108 - [c65]Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards:
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. ARCH@ADHS 2018: 104-109 - [c64]Mohammad Hekmatnejad, Georgios Fainekos:
Optimal Multi-Valued LTL Planning for Systems with Access Right Levels. ACC 2018: 2363-2370 - [c63]Houssam Abbas, Indranil Saha, Yasser Shoukry, Rüdiger Ehlers, Georgios Fainekos, Rajesh Gupta, Rupak Majumdar, Dogan Ulus:
Embedded software for robotics: challenges and future directions: special session. EMSOFT 2018: 10 - [c62]Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski:
Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles. HSCC 2018: 283-284 - [c61]Mark Strickland, Georgios Fainekos, Heni Ben Amor:
Deep Predictive Models for Collision Risk Assessment in Autonomous Driving. ICRA 2018: 1-8 - [c60]Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski:
Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components. Intelligent Vehicles Symposium 2018: 1555-1562 - [c59]Cumhur Erkan Tuncali, Bardh Hoxha, Guohui Ding, Georgios Fainekos, Sriram Sankaranarayanan:
Experience Report: Application of Falsification Methods on the UxAS System. NFM 2018: 452-459 - [c58]Adel Dokhanchi, Heni Ben Amor, Jyotirmoy V. Deshmukh, Georgios Fainekos:
Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic. RV 2018: 409-416 - [c57]Alireza Inanlouganji, Giulia Pedrielli, Georgios Fainekos, Sebastian Pokutta:
Continuous simulation Optimization with Model mismatch using Gaussian Process Regression. WSC 2018: 2131-2142 - [p1]Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan:
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications. Lectures on Runtime Verification 2018: 135-175 - [i17]Shakiba Yaghoubi, Georgios Fainekos:
Local Descent For Temporal Logic Falsification of Cyber-Physical Systems (Extended Technical Report). CoRR abs/1802.04866 (2018) - [i16]Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski:
Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components. CoRR abs/1804.06760 (2018) - [i15]Shakiba Yaghoubi, Georgios Fainekos:
Gray-box Adversarial Testing for Control Systems with Machine Learning Component. CoRR abs/1812.11958 (2018) - 2017
- [j10]Sriram Sankaranarayanan, Suhas Akshar Kumar, Faye Cameron, B. Wayne Bequette, Georgios Fainekos, David M. Maahs:
Model-based falsification of an artificial pancreas control system. SIGBED Rev. 14(2): 24-33 (2017) - [c56]Shakiba Yaghoubi, Georgios Fainekos:
Hybrid approximate gradient and stochastic descent for falsification of nonlinear systems. ACC 2017: 529-534 - [c55]Georgios Fainekos, Herbert G. Tanner:
Temporal logic control under incomplete or conflicting information. ACC 2017: 1853-1858 - [c54]Cumhur Erkan Tuncali, Shakiba Yaghoubi, Theodore P. Pavlic, Georgios Fainekos:
Functional gradient descent optimization for automatic test case generation for vehicle controllers. CASE 2017: 1059-1064 - [c53]Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos:
Vacuity aware falsification for MTL request-response specifications. CASE 2017: 1332-1337 - [c52]Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos:
ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks. ARCH@CPSWeek 2017: 170-174 - [c51]Shakiba Yaghoubi, Georgios Fainekos:
Local Descent for Temporal Logic Falsification of Cyber-Physical Systems. CyPhy 2017: 11-26 - [i14]Mark Strickland, Georgios Fainekos, Heni Ben Amor:
Deep Predictive Models for Collision Risk Assessment in Autonomous Driving. CoRR abs/1711.10453 (2017) - 2016
- [j9]Cumhur Erkan Tuncali, Georgios Fainekos, Yann-Hang Lee:
Automatic Parallelization of Multirate Block Diagrams of Control Systems on Multicore Platforms. ACM Trans. Embed. Comput. Syst. 16(1): 15:1-15:26 (2016) - [c50]Bardh Hoxha, Georgios Fainekos:
Planning in Dynamic Environments Through Temporal Logic Monitoring. AAAI Workshop: Planning for Hybrid Systems 2016 - [c49]Joseph Campbell, Cumhur Erkan Tuncali, Peng Liu, Theodore P. Pavlic, Ümit Özgüner, Georgios Fainekos:
Modeling concurrency and reconfiguration in vehicular systems: A π-calculus approach. CASE 2016: 523-530 - [c48]Joseph Campbell, Heni Ben Amor, Marcelo H. Ang, Georgios Fainekos:
Traffic light status detection using movement patterns of vehicles. ITSC 2016: 283-288 - [c47]Cumhur Erkan Tuncali, Theodore P. Pavlic, Georgios Fainekos:
Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles. ITSC 2016: 1470-1475 - [c46]Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos:
An efficient algorithm for monitoring practical TPTL specifications. MEMOCODE 2016: 184-193 - [c45]Wei Wei, Kangjin Kim, Georgios Fainekos:
Extended LTLvis motion planning interface. SMC 2016: 4194-4199 - [e1]Alessandro Abate, Georgios Fainekos:
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016. ACM 2016, ISBN 978-1-4503-3955-1 [contents] - [i13]Joseph Campbell, Cumhur Erkan Tuncali, Theodore P. Pavlic, Georgios Fainekos:
Modeling Concurrency and Reconfiguration in Vehicular Systems: A $π$-calculus Approach. CoRR abs/1604.02122 (2016) - [i12]Wei Wei, Kangjin Kim, Georgios Fainekos:
Extended LTLvis Motion Planning interface (Extended Technical Report). CoRR abs/1607.01419 (2016) - [i11]Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos:
Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems. CoRR abs/1607.02549 (2016) - [i10]Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos:
An Efficient Algorithm for Monitoring Practical TPTL Specifications. CoRR abs/1612.03140 (2016) - 2015
- [j8]Kangjin Kim, Georgios Fainekos, Sriram Sankaranarayanan:
On the minimal revision problem of specification automata. Int. J. Robotics Res. 34(12): 1515-1535 (2015) - [c44]Georgios Fainekos:
Automotive control design bug-finding with the S-TaLiRo tool. ACC 2015: 4096 - [c43]Jyotirmoy V. Deshmukh, Georgios Fainekos, James Kapinski, Sriram Sankaranarayanan, Aditya Zutshi, Xiaoqing Jin:
Beyond single shooting: Iterative approaches to falsification. ACC 2015: 4098 - [c42]Kangjin Kim, Joe Campbell, William Duong, Yu Zhang, Georgios Fainekos:
DisCoF+: Asynchronous DisCoF with flexible decoupling for cooperative pathfinding in distributed systems. CASE 2015: 369-376 - [c41]Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva, Sriram Sankaranarayanan, Georgios Fainekos:
Requirements driven falsification with coverage metrics. EMSOFT 2015: 31-40 - [c40]Cumhur Erkan Tuncali, Georgios Fainekos, Yann-Hang Lee:
Automatic Parallelization of Simulink Models for Multi-core Architectures. HPCC/CSS/ICESS 2015: 964-971 - [c39]Bardh Hoxha, Nikolaos Mavridis, Georgios Fainekos:
VISPEC: A graphical tool for elicitation of MTL requirements. IROS 2015: 3486-3492 - [c38]Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos:
Metric interval temporal logic specification elicitation and debugging. MEMOCODE 2015: 70-79 - [c37]Fraser Cameron, Georgios Fainekos, David M. Maahs, Sriram Sankaranarayanan:
Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification. RV 2015: 3-17 - [i9]Kangjin Kim, Joe Campbell, William Duong, Yu Zhang, Georgios Fainekos:
DisCoF$^+$: Asynchronous DisCoF with Flexible Decoupling for Cooperative Pathfinding in Distributed Systems. CoRR abs/1506.03540 (2015) - [i8]Bardh Hoxha, Nikolaos Mavridis, Georgios Fainekos:
ViSpec: A graphical tool for elicitation of MTL requirements. CoRR abs/1508.00618 (2015) - [i7]Houssam Abbas, Georgios Fainekos:
Towards composition of conformant systems. CoRR abs/1511.05273 (2015) - [i6]Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos:
Querying Parametric Temporal Logic Properties in Model Based Design. CoRR abs/1512.07956 (2015) - 2014
- [c36]Houssam Abbas, Andrew K. Winn, Georgios Fainekos, A. Agung Julius:
Functional gradient descent method for Metric Temporal Logic specifications. ACC 2014: 2312-2317 - [c35]Bardh Hoxha, Houssam Abbas, Georgios Fainekos:
Benchmarks for Temporal Logic Requirements for Automotive Systems. ARCH@CPSWeek 2014: 25-30 - [c34]Bardh Hoxha, Houssam Abbas, Georgios Fainekos:
Using S-TaLiRo on Industrial Size AuImmlertomotive Models. ARCH@CPSWeek 2014: 113-119 - [c33]Yu Zhang, Kangjin Kim, Georgios Fainekos:
DisCoF: Cooperative Pathfinding in Distributed Systems with Limited Sensing and Communication Range. DARS 2014: 325-340 - [c32]Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda:
WiP abstract: Conformance testing as falsification for cyber-physical systems. ICCPS 2014: 211 - [c31]Kangjin Kim, Georgios Fainekos:
Revision of specification automata under quantitative preferences. ICRA 2014: 5339-5344 - [c30]Houssam Abbas, Hans D. Mittelmann, Georgios Fainekos:
Formal property verification in a conformance testing framework. MEMOCODE 2014: 155-164 - [c29]Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos:
On-Line Monitoring for Temporal Logic Robustness. RV 2014: 231-246 - [i5]Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda:
Conformance Testing as Falsification for Cyber-Physical Systems. CoRR abs/1401.5200 (2014) - [i4]Kangjin Kim, Georgios Fainekos:
Revision of Specification Automata under Quantitative Preferences. CoRR abs/1402.3611 (2014) - [i3]Kangjin Kim, Georgios Fainekos, Sriram Sankaranarayanan:
On the Minimal Revision Problem of Specification Automata. CoRR abs/1404.2289 (2014) - [i2]Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos:
On-Line Monitoring for Temporal Logic Robustness. CoRR abs/1408.0045 (2014) - 2013
- [j7]Houssam Abbas, Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta:
Probabilistic Temporal Logic Falsification of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 12(2s): 95:1-95:30 (2013) - [c28]Houssam Abbas, Georgios Fainekos:
Computing descent direction of MTL robustness for non-linear systems. ACC 2013: 4405-4410 - [c27]Kangjin Kim, Georgios Fainekos:
Minimal specification revision for weighted transition systems. ICRA 2013: 4068-4074 - [c26]Shashank Srinivas, Ramtin Kermani, Kangjin Kim, Yoshihiro Kobayashi, Georgios Fainekos:
A graphical language for LTL motion and mission planning. ROBIO 2013: 704-709 - 2012
- [j6]Georgios Fainekos, Eric Goubault, Franjo Ivancic, Sriram Sankaranarayanan:
Editorial: Special Section VCPSS'09. ACM Trans. Embed. Comput. Syst. 11(S2): 52:1-52:3 (2012) - [c25]Houssam Abbas, Georgios Fainekos:
Convergence proofs for Simulated Annealing falsification of safety properties. Allerton Conference 2012: 1594-1601 - [c24]Sriram Sankaranarayanan, Christopher Miller, Rangarajan Raghunathan, Hadi Ravanbakhsh, Georgios Fainekos:
A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patients. Allerton Conference 2012: 1610-1617 - [c23]Georgios E. Fainekos, Sriram Sankaranarayanan, Koichi Ueda, Hakan Yazarel:
Verification of automotive control applications using S-TaLiRo. ACC 2012: 3567-3572 - [c22]Sriram Sankaranarayanan, Georgios Fainekos:
Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System. CMSB 2012: 322-341 - [c21]Sriram Sankaranarayanan, Georgios Fainekos:
Falsification of temporal properties of hybrid systems using the cross-entropy method. HSCC 2012: 125-134 - [c20]Kangjin Kim, Georgios E. Fainekos, Sriram Sankaranarayanan:
On the revision problem of specification automata. ICRA 2012: 5171-5176 - [c19]Kangjin Kim, Georgios Fainekos:
Approximate solutions for the minimal revision problem of specification automata. IROS 2012: 265-271 - [c18]Hengyi Yang, Bardh Hoxha, Georgios E. Fainekos:
Querying Parametric Temporal Logic Properties on Embedded Systems. ICTSS 2012: 136-151 - 2011
- [j5]Georgios Fainekos, Eric Goubault, Sylvie Putot, Stefan Ratschan:
Foreword. Math. Comput. Sci. 5(4): 357-358 (2011) - [c17]Houssam Abbas, Georgios Fainekos:
Linear Hybrid System Falsification through Local Search. ATVA 2011: 503-510 - [c16]Georgios E. Fainekos:
Revising temporal logic specifications for motion planning. ICRA 2011: 40-45 - [c15]Ayan Banerjee, Sandeep K. S. Gupta, Georgios Fainekos, Georgios Varsamopoulos:
Towards modeling and analysis of cyber-physical medical systems. ISABEL 2011: 154:1-154:5 - [c14]Aleksandar Chakarov, Sriram Sankaranarayanan, Georgios Fainekos:
Combining Time and Frequency Domain Specifications for Periodic Signals. RV 2011: 294-309 - [c13]Yashwanth Annpureddy, Che Liu, Georgios Fainekos, Sriram Sankaranarayanan:
S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. TACAS 2011: 254-257 - [i1]Houssam Abbas, Georgios Fainekos:
Linear Hybrid System Falsification Through Descent. CoRR abs/1105.1733 (2011) - 2010
- [c12]Truong Nghiem, Sriram Sankaranarayanan, Georgios Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas:
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. HSCC 2010: 211-220
2000 – 2009
- 2009
- [j4]Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit, George J. Pappas:
Temporal logic motion planning for dynamic robots. Autom. 45(2): 343-352 (2009) - [j3]Georgios E. Fainekos, George J. Pappas:
Robustness of temporal logic specifications for continuous-time signals. Theor. Comput. Sci. 410(42): 4262-4291 (2009) - [j2]Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas:
Temporal-Logic-Based Reactive Mission and Motion Planning. IEEE Trans. Robotics 25(6): 1370-1381 (2009) - [c11]Georgios E. Fainekos, George J. Pappas:
MTL robust testing and verification for LPV systems. ACC 2009: 3748-3753 - [c10]Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta:
Robustness of Model-Based Simulations. RTSS 2009: 345-354 - 2008
- [j1]Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas:
Translating Structured English to Robot Controllers. Adv. Robotics 22(12): 1343-1359 (2008) - 2007
- [c9]Georgios E. Fainekos, George J. Pappas:
Robust Sampling for MITL Specifications. FORMATS 2007: 147-162 - [c8]Georgios E. Fainekos, Antoine Girard, George J. Pappas:
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications. HSCC 2007: 203-216 - [c7]A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas:
Robust Test Generation and Coverage for Hybrid Systems. HSCC 2007: 329-342 - [c6]