Matching entries: 0
settings...
AuthorTitleYearJournal/ProceedingsReftypeDOI/URL
Abbas, H. and Fainekos, G. Computing Descent Direction of MTL Robustness for Non-Linear Systems 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 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 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 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 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 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. 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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   electronic URL 
BibTeX:
@electronic{taliro_tools,,
  title = {TaLiRo Tools},
  url = {https://sites.google.com/a/asu.edu/s-taliro/}
}