Author | Title | Year | Journal/Proceedings | Reftype | DOI/URL |
---|---|---|---|---|---|

Abbas, H. and Fainekos, G. | Computing Descent Direction of MTL Robustness for Non-Linear Systems [BibTeX] |
2013 | American Control Conference | inproceedings | |

BibTeX:
@inproceedings{AbbasF13acc, author = {Houssam Abbas and Georgios Fainekos}, title = {Computing Descent Direction of MTL Robustness for Non-Linear Systems}, booktitle = {American Control Conference}, year = {2013}, note = {[Under review]} } |
|||||

Abbas, H. and Fainekos, G. | Convergence Proofs for Simulated Annealing Falsification of Safety Properties [BibTeX] |
2012 | Proc. of 50th Annual Allerton Conference on Communication, Control, and Computing | inproceedings | |

BibTeX:
@inproceedings{AbbasF12allerton, author = {Houssam Abbas and Georgios Fainekos}, title = {Convergence Proofs for Simulated Annealing Falsification of Safety Properties}, booktitle = {Proc. of 50th Annual Allerton Conference on Communication, Control, and Computing}, publisher = {IEEE Press}, year = {2012} } |
|||||

Abbas, H. and Fainekos, G. | Linear Hybrid System Falsification Through Local Search [BibTeX] |
2011 | Vol. 6996Automated Technology for Verification and Analysis, pp. 503-510 |
inproceedings | |

BibTeX:
@inproceedings{AbbasF11atva, author = {Houssam Abbas and Georgios Fainekos}, title = {Linear Hybrid System Falsification Through Local Search}, booktitle = {Automated Technology for Verification and Analysis}, publisher = {Springer}, year = {2011}, volume = {6996}, pages = {503-510} } |
|||||

Abbas, H. and Fainekos, G. | Linear Hybrid System Falsification With Descent [BibTeX] |
2011 | (1105.1733) | techreport | |

BibTeX:
@techreport{AbbasF11tech, author = {Houssam Abbas and Georgios Fainekos}, title = {Linear Hybrid System Falsification With Descent}, year = {2011}, number = {1105.1733} } |
|||||

Abbas, H., Fainekos, G.E., Sankaranarayanan, S., Ivancic, F. and Gupta, A. | Probabilistic Temporal Logic Falsification of Cyber-Physical Systems [BibTeX] |
2013 | ACM Transactions on Embedded Computing Systems Vol. 12(s2) |
article | |

BibTeX:
@article{AbbasFSIG13tecs, author = {Houssam Abbas and Georgios E. Fainekos and Sriram Sankaranarayanan and Franjo Ivancic and Aarti Gupta}, title = {Probabilistic Temporal Logic Falsification of Cyber-Physical Systems}, journal = {ACM Transactions on Embedded Computing Systems}, year = {2013}, volume = {12}, number = {s2} } |
|||||

Abbas, H., Hoxha, B. and Fainekos, G. | Guided Temporal Logic Testing of Cyber-Physical Systems [BibTeX] |
2013 | patent | ||

BibTeX:
@patent{AbbasHF14patent, author = {Houssam Abbas and Bardh Hoxha and Georgios Fainekos}, title = {Guided Temporal Logic Testing of Cyber-Physical Systems}, year = {2013}, note = {U.S. Patent Application No 61/900,866, Submitted on 11/6/2013} } |
|||||

Abbas, H., Hoxha, B., Fainekos, G., Deshmukh, J.V., Kapinski, J. and Ueda, K. | WiP Abstract: Conformance Testing as Falsification for Cyber-Physical Systems. [BibTeX] |
2014 | In the Proceedings of the ACM/IEEE 5th International Conference on Cyber-Physical Systems | inproceedings | |

BibTeX:
@inproceedings{AbbasEtAl14iccps, author = {H. Abbas and B. Hoxha and G. Fainekos and J. V. Deshmukh and J. Kapinski and K. Ueda}, title = {WiP Abstract: Conformance Testing as Falsification for Cyber-Physical Systems.}, booktitle = {In the Proceedings of the ACM/IEEE 5th International Conference on Cyber-Physical Systems}, year = {2014} } |
|||||

Abbas, H., Hoxha, B., Fainekos, G., Deshmukh, J.V., Kapinski, J. and Ueda, K. | Conformance Testing as Falsification for Cyber-Physical Systems [BibTeX] |
2014 | (1401.5200) | techreport | |

BibTeX:
@techreport{AbbasEtAl2014conformance, author = {Abbas, Houssam and Hoxha, Bardh and Fainekos, Georgios and Deshmukh, Jyotirmoy V and Kapinski, James and Ueda, Koichi}, title = {Conformance Testing as Falsification for Cyber-Physical Systems}, year = {2014}, number = {1401.5200} } |
|||||

Abbas, H., Hoxha, B., Fainekos, G. and Ueda, K. | Robustness-Guided Temporal Logic Testing and Verification for Stochastic Cyber-Physical Systems [BibTeX] |
2014 | Proc. of IEEE International Conference on CYBER Technology in Automation, Control, and Intelligent Systems | inproceedings | |

BibTeX:
@inproceedings{AbbasHF14cyber, author = {Houssam Abbas and Bardh Hoxha and Georgios Fainekos and Koichi Ueda}, title = {Robustness-Guided Temporal Logic Testing and Verification for Stochastic Cyber-Physical Systems}, booktitle = {Proc. of IEEE International Conference on CYBER Technology in Automation, Control, and Intelligent Systems}, year = {2014} } |
|||||

Abbas, H., Winn, A., Fainekos, G. and Julius, A.A. | Functional Gradient Descent Method for Metric Temporal Logic Specifications [BibTeX] |
2014 | American Control Conference | inproceedings | |

BibTeX:
@inproceedings{AbbasWFJ14acc, author = {Houssam Abbas and Andrew Winn and Georgios Fainekos and A. Agung Julius}, title = {Functional Gradient Descent Method for Metric Temporal Logic Specifications}, booktitle = {American Control Conference}, year = {2014}, note = {[Under review]} } |
|||||

Annapureddy, Y.S.R. | S-TaLiRo: A tool for Temporal Logic Falsification for Hybrid Systems [BibTeX] |
2011 | School: Arizona State University |
mastersthesis | |

BibTeX:
@mastersthesis{Annapureddy11ms, author = {Yashwanth Singh Rahul Annapureddy}, title = {S-TaLiRo: A tool for Temporal Logic Falsification for Hybrid Systems}, school = {Arizona State University}, year = {2011} } |
|||||

Annapureddy, Y.S.R. and Fainekos, G.E. | Ant Colonies for Temporal Logic Falsification of Hybrid Systems [BibTeX] |
2010 | Proceedings of the 36th Annual Conference of IEEE Industrial Electronics, pp. 91-96 | inproceedings | |

BibTeX:
@inproceedings{AnnapureddyF10iecon, author = {Yashwanth Singh Rahul Annapureddy and Georgios E. Fainekos}, title = {Ant Colonies for Temporal Logic Falsification of Hybrid Systems}, booktitle = {Proceedings of the 36th Annual Conference of IEEE Industrial Electronics}, year = {2010}, pages = {91-96} } |
|||||

Annapureddy, Y.S.R., Liu, C., Fainekos, G.E. and Sankaranarayanan, S. | S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems [BibTeX] |
2011 | Vol. 6605Tools and algorithms for the construction and analysis of systems, pp. 254-257 |
inproceedings | |

BibTeX:
@inproceedings{AnnapureddyLFS11tacas, author = {Yashwanth Singh Rahul Annapureddy and Che Liu and Georgios E. Fainekos and Sriram Sankaranarayanan}, title = {S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems}, booktitle = {Tools and algorithms for the construction and analysis of systems}, publisher = {Springer}, year = {2011}, volume = {6605}, pages = {254-257} } |
|||||

Banerjee, A., Gupta, S.K.S., Fainekos, G. and Varsamopoulos, G. | Towards modeling and analysis of cyber-physical medical systems [BibTeX] |
2011 | Proceedings of the 4th International Symposium on Applied Sciences in Biomedical and Communication Technologies, pp. 154:1-154:5 | inproceedings | |

BibTeX:
@inproceedings{BanerjeeEtAl11isabel, author = {Banerjee, Ayan and Gupta, Sandeep K. S. and Fainekos, Georgios and Varsamopoulos, Georgios}, title = {Towards modeling and analysis of cyber-physical medical systems}, booktitle = {Proceedings of the 4th International Symposium on Applied Sciences in Biomedical and Communication Technologies}, publisher = {ACM}, year = {2011}, pages = {154:1--154:5} } |
|||||

Bayraktar, S., Fainekos, G.E. and Pappas, G.J. | Experimental Cooperative Control of Fixed-Wing Unmanned Aerial Vehicles [BibTeX] |
2004 | Proceedings of the 43rd IEEE Conference on Decision and Control, pp. 4292-4298 | inproceedings | |

BibTeX:
@inproceedings{BayraktarFP04cdc, author = {Selcuk Bayraktar and Georgios E. Fainekos and George J. Pappas}, title = {Experimental Cooperative Control of Fixed-Wing Unmanned Aerial Vehicles}, booktitle = {Proceedings of the 43rd IEEE Conference on Decision and Control}, year = {2004}, pages = {4292--4298} } |
|||||

Bayraktar, S., Fainekos, G.E. and Pappas, G.J. | Hybrid Modeling and Experimental Cooperative Control of Multiple Unmanned Aerial Vehicles [BibTeX] |
2004 | (MS-CIS-04-32) | techreport | |

BibTeX:
@techreport{BayraktarFP04tech, author = {Selcuk Bayraktar and Georgios E. Fainekos and George J. Pappas}, title = {Hybrid Modeling and Experimental Cooperative Control of Multiple Unmanned Aerial Vehicles}, year = {2004}, number = {MS-CIS-04-32} } |
|||||

Chakarov, A., Sankaranarayanan, S. and Fainekos, G. | Combining Time and Frequency Domain Specifications For Periodic Signals [BibTeX] |
2012 | Vol. 7186Runtime Verification, pp. 294-309 |
inproceedings | |

BibTeX:
@inproceedings{ChakarovSF12rv, author = {Aleksandar Chakarov and Sriram Sankaranarayanan and Georgios Fainekos}, title = {Combining Time and Frequency Domain Specifications For Periodic Signals}, booktitle = {Runtime Verification}, publisher = {Springer}, year = {2012}, volume = {7186}, pages = {294-309} } |
|||||

Dokhanchi, A., Hoxha, B. and Fainekos, G. | On-Line Monitoring for Temporal Logic Robustness [BibTeX] |
2014 | Runtime Verification | inproceedings | |

BibTeX:
@inproceedings{DokhanchiHF14rv, author = {Adel Dokhanchi and Bardh Hoxha and Georgios Fainekos}, title = {On-Line Monitoring for Temporal Logic Robustness}, booktitle = {Runtime Verification}, publisher = {Springer}, year = {2014} } |
|||||

Fainekos, G., Sankaranarayanan, S., Ueda, K. and Yazarel, H. | Verification of Automotive Control Applications using S-TaLiRo [BibTeX] |
2012 | Proceedings of the American Control Conference | inproceedings | |

BibTeX:
@inproceedings{FainekosSUY12acc, author = {Georgios Fainekos and Sriram Sankaranarayanan and Koichi Ueda and Hakan Yazarel}, title = {Verification of Automotive Control Applications using S-TaLiRo}, booktitle = {Proceedings of the American Control Conference}, year = {2012} } |
|||||

Fainekos, G.E. | Revising Temporal Logic Specifications for Motion Planning [BibTeX] |
2011 | Proceedings of the IEEE Conference on Robotics and Automation | inproceedings | |

BibTeX:
@inproceedings{Fainekos11icra, author = {Georgios E. Fainekos}, title = {Revising Temporal Logic Specifications for Motion Planning}, booktitle = {Proceedings of the IEEE Conference on Robotics and Automation}, year = {2011} } |
|||||

Fainekos, G.E. | Robustness of Temporal Logic Specifications [BibTeX] |
2008 | School: Department of Computer and Information Science, University of Pennsylvania |
phdthesis | |

BibTeX:
@phdthesis{Fainekos08phd, author = {Georgios E. Fainekos}, title = {Robustness of Temporal Logic Specifications}, school = {Department of Computer and Information Science, University of Pennsylvania}, year = {2008} } |
|||||

Fainekos, G.E. | An Introduction to Multi-Valued Model Checking [BibTeX] |
2005 | (MS-CIS-05-16) | techreport | |

BibTeX:
@techreport{Fainekos_tech05, author = {Georgios E. Fainekos}, title = {An Introduction to Multi-Valued Model Checking}, year = {2005}, number = {MS-CIS-05-16} } |
|||||

Fainekos, G.E. | Ant Colony Optimization: Applications to discrete and continuous problems [BibTeX] |
2001 | School: National Technical University of Athens |
mastersthesis | |

BibTeX:
@mastersthesis{Fainekos01, author = {Georgios E. Fainekos}, title = {Ant Colony Optimization: Applications to discrete and continuous problems}, school = {National Technical University of Athens}, year = {2001}, note = {In Greek} } |
|||||

Fainekos, G.E. and Giannakoglou, K.C. | Inverse Design of Airfoils Based on a Novel Formulation of the Ant Colony Optimization Method [BibTeX] |
2003 | Inverse Problems in Engineering Vol. 11(1), pp. 21-38 |
article | |

BibTeX:
@article{FainekosG03, author = {Georgios E. Fainekos and Kyriakos C. Giannakoglou}, title = {Inverse Design of Airfoils Based on a Novel Formulation of the Ant Colony Optimization Method}, journal = {Inverse Problems in Engineering}, year = {2003}, volume = {11}, number = {1}, pages = {21-38} } |
|||||

Fainekos, G.E., Girard, A., Kress-Gazit, H. and Pappas, G.J. | Temporal Logic Motion Planning for Dynamic Robots [BibTeX] |
2009 | Automatica Vol. 45(2), pp. 343-352 |
article | |

BibTeX:
@article{FainekosGKGP09automatica, author = {Georgios E. Fainekos and Antoine Girard and Hadas Kress-Gazit and George J. Pappas}, title = {Temporal Logic Motion Planning for Dynamic Robots}, journal = {Automatica}, year = {2009}, volume = {45}, number = {2}, pages = {343-352} } |
|||||

Fainekos, G.E., Girard, A., Kress-Gazit, H. and Pappas, G.J. | Temporal Logic Motion Planning for Dynamic Robots [BibTeX] |
2007 | (MS-CIS-07-02) | techreport | |

BibTeX:
@techreport{FainekosGKGP07tech, author = {Georgios E. Fainekos and Antoine Girard and Hadas Kress-Gazit and George J. Pappas}, title = {Temporal Logic Motion Planning for Dynamic Robots}, year = {2007}, number = {MS-CIS-07-02} } |
|||||

Fainekos, G.E., Girard, A. and Pappas, G.J. | Temporal Logic Verification Using Simulation [BibTeX] |
2006 | Vol. 4202Proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems, pp. 171-186 |
inproceedings | |

BibTeX:
@inproceedings{FainekosGP06formats, author = {Georgios E. Fainekos and Antoine Girard and George J. Pappas}, title = {Temporal Logic Verification Using Simulation}, booktitle = {Proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems}, publisher = {Springer}, year = {2006}, volume = {4202}, pages = {171-186} } |
|||||

Fainekos, G.E., Girard, A. and Pappas, G.J. | Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications [BibTeX] |
2007 | Vol. 4416Hybrid Systems: Computation and Control, pp. 203-216 |
inproceedings | |

BibTeX:
@inproceedings{FainekosGP07hscc, author = {Georgios E. Fainekos and Antoine Girard and George J. Pappas}, title = {Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications}, booktitle = {Hybrid Systems: Computation and Control}, publisher = {Springer}, year = {2007}, volume = {4416}, pages = {203-216} } |
|||||

Fainekos, G.E., Girard, A. and Pappas, G.J. | Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications [BibTeX] |
2007 | (MS-CIS-07-01) | techreport | |

BibTeX:
@techreport{FainekosGP07tech, author = {Georgios E. Fainekos and Antoine Girard and George J. Pappas}, title = {Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications}, year = {2007}, number = {MS-CIS-07-01} } |
|||||

Fainekos, G.E., Kress-Gazit, H. and Pappas, G.J. | Hybrid Controllers for Path Planning: A Temporal Logic Approach [BibTeX] |
2005 | Proceedings of the 44th IEEE Conference on Decision and Control, pp. 4885 - 4890 | inproceedings | |

BibTeX:
@inproceedings{FainekosKGP05cdc, author = {Georgios E. Fainekos and Hadas Kress-Gazit and George J. Pappas}, title = {Hybrid Controllers for Path Planning: A Temporal Logic Approach}, booktitle = {Proceedings of the 44th IEEE Conference on Decision and Control}, year = {2005}, pages = {4885 - 4890} } |
|||||

Fainekos, G.E., Kress-Gazit, H. and Pappas, G.J. | Temporal logic motion planning for mobile robots [BibTeX] |
2005 | Proceedings of the IEEE International Conference on Robotics and Automation, pp. 2032-2037 | inproceedings | |

BibTeX:
@inproceedings{FainekosKGP05icra, author = {Georgios E. Fainekos and Hadas Kress-Gazit and George J. Pappas}, title = {Temporal logic motion planning for mobile robots}, booktitle = {Proceedings of the IEEE International Conference on Robotics and Automation}, year = {2005}, pages = {2032-2037} } |
|||||

Fainekos, G.E., Loizou, S.G. and Pappas, G.J. | Translating temporal logic to controller specifications [BibTeX] |
2006 | Proceedings of the 45th IEEE Conference on Decision and Control, pp. 899-904 | inproceedings | |

BibTeX:
@inproceedings{FainekosLP06cdc, author = {Georgios E. Fainekos and Savvas G. Loizou and George J. Pappas}, title = {Translating temporal logic to controller specifications}, booktitle = {Proceedings of the 45th IEEE Conference on Decision and Control}, year = {2006}, pages = {899-904} } |
|||||

Fainekos, G.E. and Pappas, G.J. | Robust Sampling for MITL Specifications [BibTeX] |
2007 | Vol. 4763Proceedings of the 5th International Conference on Formal Modelling and Analysis of Timed Systems, pp. 147-162 |
inproceedings | |

BibTeX:
@inproceedings{FainekosP07Formats, author = {Georgios E. Fainekos and George J. Pappas}, title = {Robust Sampling for MITL Specifications}, booktitle = {Proceedings of the 5th International Conference on Formal Modelling and Analysis of Timed Systems}, publisher = {Springer}, year = {2007}, volume = {4763}, pages = {147-162} } |
|||||

Fainekos, G.E. and Pappas, G.J. | MTL Robust Testing and Verification for LPV Systems [BibTeX] |
2009 | Proceedings of the American Control Conference, pp. 3748-3753 | inproceedings | |

BibTeX:
@inproceedings{FainekosP09acc, author = {Georgios E. Fainekos and George J. Pappas}, title = {MTL Robust Testing and Verification for LPV Systems}, booktitle = {Proceedings of the American Control Conference}, year = {2009}, pages = {3748-3753} } |
|||||

Fainekos, G.E. and Pappas, G.J. | Robustness of Temporal Logic Specifications for Continuous-Time Signals [BibTeX] |
2009 | Theoretical Computer Science Vol. 410(42), pp. 4262-4291 |
article | |

BibTeX:
@article{FainekosP09tcs, author = {Georgios E. Fainekos and George J. Pappas}, title = {Robustness of Temporal Logic Specifications for Continuous-Time Signals}, journal = {Theoretical Computer Science}, publisher = {Elsevier}, year = {2009}, volume = {410}, number = {42}, pages = {4262-4291} } |
|||||

Fainekos, G.E. and Pappas, G.J. | A User Guide for TaLiRo [BibTeX] |
2008 | techreport | ||

BibTeX:
@techreport{FainekosP08taliro, author = {Georgios E. Fainekos and George J. Pappas}, title = {A User Guide for TaLiRo}, year = {2008} } |
|||||

Fainekos, G.E. and Pappas, G.J. | Robustness of Temporal Logic Specifications [BibTeX] |
2006 | Vol. 4262Formal Approaches to Testing and Runtime Verification, pp. 178-192 |
inproceedings | |

BibTeX:
@inproceedings{FainekosP06fates, author = {Georgios E. Fainekos and George J. Pappas}, title = {Robustness of Temporal Logic Specifications}, booktitle = {Formal Approaches to Testing and Runtime Verification}, publisher = {Springer}, year = {2006}, volume = {4262}, pages = {178--192} } |
|||||

Fainekos, G.E. and Pappas, G.J. | Robustness of Temporal Logic Specifications for Finite State Sequences in Metric Spaces [BibTeX] |
2006 | (MS-CIS-06-05) | techreport | |

BibTeX:
@techreport{FainekosP06tech_rob, author = {Georgios E. Fainekos and George J. Pappas}, title = {Robustness of Temporal Logic Specifications for Finite State Sequences in Metric Spaces}, year = {2006}, number = {MS-CIS-06-05} } |
|||||

Fainekos, G.E., Sankaranarayanan, S., Ivančić, F. and Gupta, A. | Robustness of Model-based Simulations [BibTeX] |
2009 | Proceedings of the 30th IEEE Real-Time Systems Symposium, pp. 345-354 | inproceedings | |

BibTeX:
@inproceedings{FainekosSIG09rtss, author = {Georgios E. Fainekos and Sriram Sankaranarayanan and Franjo Ivančić and Aarti Gupta}, title = {Robustness of Model-based Simulations}, booktitle = {Proceedings of the 30th IEEE Real-Time Systems Symposium}, publisher = {IEEE Press}, year = {2009}, pages = {345-354} } |
|||||

Hoxha, B., Abbas, H. and Fainekos, G. | Benchmarks for Temporal Logic Requirements for Automotive Systems [BibTeX] |
2014 | Proc. of Applied Verification for Continuous and Hybrid Systems | inproceedings | |

BibTeX:
@inproceedings{HoxhaAF14arch1, author = {Bardh Hoxha and Houssam Abbas and Georgios Fainekos}, title = {Benchmarks for Temporal Logic Requirements for Automotive Systems}, booktitle = {Proc. of Applied Verification for Continuous and Hybrid Systems}, year = {2014} } |
|||||

Hoxha, B., Abbas, H. and Fainekos, G. | Using S-TaLiRo on Industrial Size Automotive Models [BibTeX] |
2014 | Proc. of Applied Verification for Continuous and Hybrid Systems | inproceedings | |

BibTeX:
@inproceedings{HoxhaAF14arch2, author = {Bardh Hoxha and Houssam Abbas and Georgios Fainekos}, title = {Using S-TaLiRo on Industrial Size Automotive Models}, booktitle = {Proc. of Applied Verification for Continuous and Hybrid Systems}, year = {2014} } |
|||||

Hoxha, B., Dokhanchi, A. and Fainekos, G. | Querying Parametric Temporal Logic Properties on Cyber-Physical Systems [BibTeX] |
2014 | unpublished | ||

BibTeX:
@unpublished{HoxhaDF14JuR, author = {Bardh Hoxha and Adel Dokhanchi and Georgios Fainekos}, title = {Querying Parametric Temporal Logic Properties on Cyber-Physical Systems}, year = {2014}, note = {Submitted to IEEE Transactions on Software Engineering} } |
|||||

Julius, A.A., Fainekos, G.E., Anand, M., Lee, I. and Pappas, G.J. | Robust test generation and coverage for hybrid systems [BibTeX] |
2007 | Vol. 4416Hybrid Systems: Computation and Control, pp. 329-342 |
inproceedings | |

BibTeX:
@inproceedings{JuliusFALP07hscc, author = {A. Agung Julius and Georgios E. Fainekos and Madhukar Anand and Insup Lee and George J. Pappas}, title = {Robust test generation and coverage for hybrid systems}, booktitle = {Hybrid Systems: Computation and Control}, publisher = {Springer}, year = {2007}, volume = {4416}, pages = {329-342} } |
|||||

Kim, K. and Fainekos, G. | Revision of Specification Automata under Quantitative Preferences [BibTeX] |
2014 | Proceedings of the IEEE Conference on Robotics and Automation | inproceedings | |

BibTeX:
@inproceedings{KimF14icra, author = {Kangjin Kim and Georgios Fainekos}, title = {Revision of Specification Automata under Quantitative Preferences}, booktitle = {Proceedings of the IEEE Conference on Robotics and Automation}, year = {2014} } |
|||||

Kim, K. and Fainekos, G. | Revision of Specification Automata under Quantitative Preferences [BibTeX] |
2014 | (1402.3611) | techreport | |

BibTeX:
@techreport{KimF14tech, author = {Kangjin Kim and Georgios Fainekos}, title = {Revision of Specification Automata under Quantitative Preferences}, year = {2014}, number = {1402.3611} } |
|||||

Kim, K. and Fainekos, G. | Minimal Specification Revision for Weighted Transition Systems [BibTeX] |
2013 | Proceedings of the IEEE Conference on Robotics and Automation | inproceedings | |

BibTeX:
@inproceedings{KimF13icra, author = {Kangjin Kim and Georgios Fainekos}, title = {Minimal Specification Revision for Weighted Transition Systems}, booktitle = {Proceedings of the IEEE Conference on Robotics and Automation}, year = {2013} } |
|||||

Kim, K. and Fainekos, G. | Approximate Solutions for the Minimal Revision Problem of Specification Automata [BibTeX] |
2012 | Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems | inproceedings | |

BibTeX:
@inproceedings{KimF12iros, author = {Kangjin Kim and Georgios Fainekos}, title = {Approximate Solutions for the Minimal Revision Problem of Specification Automata}, booktitle = {Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems}, year = {2012} } |
|||||

Kim, K., Fainekos, G. and Sankaranarayanan, S. | On the Minimal Revision Problem of Specification Automata [BibTeX] |
2014 | (1404.2289) | techreport | |

BibTeX:
@techreport{KimFS14tech, author = {Kangjin Kim and Georgios Fainekos and Sriram Sankaranarayanan}, title = {On the Minimal Revision Problem of Specification Automata}, year = {2014}, number = {1404.2289} } |
|||||

Kim, K., Fainekos, G. and Sankaranarayanan, S. | On the Revision Problem of Specification Automata [BibTeX] |
2012 | Proceedings of the IEEE Conference on Robotics and Automation | inproceedings | |

BibTeX:
@inproceedings{KimFS12icra, author = {Kangjin Kim and Georgios Fainekos and Sriram Sankaranarayanan}, title = {On the Revision Problem of Specification Automata}, booktitle = {Proceedings of the IEEE Conference on Robotics and Automation}, year = {2012} } |
|||||

Kress-Gazit, H., Fainekos, G.E. and Pappas, G.J. | Temporal Logic Based Reactive Mission and Motion Planning [BibTeX] |
2009 | IEEE Transactions on Robotics Vol. 25(6), pp. 1370 - 1381 |
article | |

BibTeX:
@article{KressGazitFP09tro, author = {Hadas~Kress-Gazit and Gerogios~E.~Fainekos and George~J.~Pappas}, title = {Temporal Logic Based Reactive Mission and Motion Planning}, journal = {IEEE Transactions on Robotics}, year = {2009}, volume = {25}, number = {6}, pages = {1370 - 1381} } |
|||||

Kress-Gazit, H., Fainekos, G.E. and Pappas, G.J. | Translating Structured English to Robot Controllers [BibTeX] |
2008 | Advanced Robotics Vol. 22(12), pp. 1343–-1359 |
article | |

BibTeX:
@article{KressGazitFP08ar, author = {Hadas~Kress-Gazit and Georgios~E.~Fainekos and George~J.~Pappas}, title = {Translating Structured English to Robot Controllers}, journal = {Advanced Robotics}, year = {2008}, volume = {22}, number = {12}, pages = {1343–-1359} } |
|||||

Kress-Gazit, H., Fainekos, G.E. and Pappas, G.J. | Where's Waldo? Sensor-Based Temporal Logic Motion Planning [BibTeX] |
2007 | Proceedings of the IEEE Conference on Robotics and Automation, pp. 3116-3121 | inproceedings | |

BibTeX:
@inproceedings{KressGazitFP07icra, author = {Hadas Kress-Gazit and Georgios E. Fainekos and George J. Pappas}, title = {Where's Waldo? Sensor-Based Temporal Logic Motion Planning}, booktitle = {Proceedings of the IEEE Conference on Robotics and Automation}, year = {2007}, pages = {3116-3121} } |
|||||

Kress-Gazit, H., Fainekos, G.E. and Pappas, G.J. | From Structured English to Robot Motion [BibTeX] |
2007 | Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 2717-2722 | inproceedings | |

BibTeX:
@inproceedings{KressGazitFP07iros, author = {Hadas Kress-Gazit and Georgios E. Fainekos and George J. Pappas}, title = {From Structured English to Robot Motion}, booktitle = {Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems}, year = {2007}, pages = {2717-2722} } |
|||||

Nghiem, T. and Fainekos, G.E. | Computing Schedules for Time-Triggered Control using Genetic Algorithms [BibTeX] |
2011 | Proceedings of the 18th IFAC World Congress | inproceedings | |

BibTeX:
@inproceedings{Nghiem11ifac, author = {Truong Nghiem and Georgios E. Fainekos}, title = {Computing Schedules for Time-Triggered Control using Genetic Algorithms}, booktitle = {Proceedings of the 18th IFAC World Congress}, year = {2011} } |
|||||

Nghiem, T., Sankaranarayanan, S., Fainekos, G.E., Ivancic, F., Gupta, A. and Pappas, G.J. | Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems [BibTeX] |
2010 | Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, pp. 211-220 | inproceedings | |

BibTeX:
@inproceedings{NghiemSFIGP10hscc, author = {Truong Nghiem and Sriram Sankaranarayanan and Georgios E. Fainekos and Franjo Ivancic and Aarti Gupta and George J. Pappas}, title = {Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems}, booktitle = {Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control}, publisher = {ACM Press}, year = {2010}, pages = {211-220} } |
|||||

Sankaranarayanan, S. and Fainekos, G. | Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System [BibTeX] |
2012 | Vol. 7605International Conference on Computational Methods in Systems Biology, pp. 322-341 |
inproceedings | |

BibTeX:
@inproceedings{SankaranarayananF2012cmsb, author = {Sriram Sankaranarayanan and Georgios Fainekos}, title = {Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System}, booktitle = {International Conference on Computational Methods in Systems Biology}, publisher = {Springer}, year = {2012}, volume = {7605}, pages = {322-341} } |
|||||

Sankaranarayanan, S. and Fainekos, G. | Falsification of Temporal Properties of Hybrid Systems Using the Cross-Entropy Method [BibTeX] |
2012 | ACM International Conference on Hybrid Systems: Computation and Control | inproceedings | |

BibTeX:
@inproceedings{SankaranarayananF2012hscc, author = {Sriram Sankaranarayanan and Georgios Fainekos}, title = {Falsification of Temporal Properties of Hybrid Systems Using the Cross-Entropy Method}, booktitle = {ACM International Conference on Hybrid Systems: Computation and Control}, year = {2012} } |
|||||

Sankaranarayanan, S., Miller, C., Raghunathan, R., Ravanbakhsh, H. and Fainekos, G. | Analyzing Insulin Infusion Pump Usage Strategies in Diabetic Patients [BibTeX] |
2012 | Proc. of 50th Annual Allerton Conference on Communication, Control, and Computing | inproceedings | |

BibTeX:
@inproceedings{SankaranarayananF2012allerton, author = {Sriram Sankaranarayanan and Christopher Miller and Rangarajan Raghunathan and Hadi Ravanbakhsh and Georgios Fainekos}, title = {Analyzing Insulin Infusion Pump Usage Strategies in Diabetic Patients}, booktitle = {Proc. of 50th Annual Allerton Conference on Communication, Control, and Computing}, year = {2012} } |
|||||

Srinivas, S., Kermani, R., Kim, K., Kobayashi, Y. and Fainekos, G. | A Graphical Language for LTL Motion and Mission Planning [BibTeX] |
2013 | IEEE International Conference on Robotics and Biomimetics | inproceedings | |

BibTeX:
@inproceedings{SrinivasEtAl13robio, author = {Shashank Srinivas and Ramtin Kermani and Kangjin Kim and Yoshihiro Kobayashi and Georgios Fainekos}, title = {A Graphical Language for LTL Motion and Mission Planning}, booktitle = {IEEE International Conference on Robotics and Biomimetics}, year = {2013} } |
|||||

Yang, H., Hoxha, B. and Fainekos, G. | Querying Parametric Temporal Logic Properties on Embedded Systems [BibTeX] |
2013 | patent | ||

BibTeX:
@patent{YangHF13patent, author = {Hengyi Yang and Bardh Hoxha and Georgios Fainekos}, title = {Querying Parametric Temporal Logic Properties on Embedded Systems}, year = {2013}, note = {U.S. Patent Application No 61/835,352, Date Filed: 6/14/2013} } |
|||||

Yang, H., Hoxha, B. and Fainekos, G. | Querying Parametric Temporal Logic Properties on Embedded Systems [BibTeX] |
2012 | Vol. 7641Int. Conference on Testing Software and Systems, pp. 136-151 |
inproceedings | |

BibTeX:
@inproceedings{YangHF12ictss, author = {Hengyi Yang and Bardh Hoxha and Georgios Fainekos}, title = {Querying Parametric Temporal Logic Properties on Embedded Systems}, booktitle = {Int. Conference on Testing Software and Systems}, publisher = {Springer}, year = {2012}, volume = {7641}, pages = {136-151} } |
|||||

TaLiRo Tools [BibTeX] |
electronic | URL | |||

BibTeX:
@electronic{taliro_tools,, title = {TaLiRo Tools}, url = {https://sites.google.com/a/asu.edu/s-taliro/} } |