Georgios E. Fainekos

发表

Insup Lee, George J. Pappas, A. Agung Julius, 2007, HSCC.
Georgios E. Fainekos, Adel Dokhanchi, Bardh Hoxha, 2014, RV.
Georgios E. Fainekos, Bardh Hoxha, Georgios Fainekos, 2016, AAAI Workshop: Planning for Hybrid Systems.
Sriram Sankaranarayanan, James Kapinski, Xiaoqing Jin, 2015, 2015 American Control Conference (ACC).
Sriram Sankaranarayanan, Georgios E. Fainekos, Kangjin Kim, 2012, 2012 IEEE International Conference on Robotics and Automation.
Georgios E. Fainekos, Theodore P. Pavlic, Cumhur Erkan Tuncali, 2016, 2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC).
Sriram Sankaranarayanan, Georgios E. Fainekos, Guohui Ding, 2018, NFM.
George J. Pappas, Georgios E. Fainekos, Georgios Fainekos, 2009, Theor. Comput. Sci..
Georgios E. Fainekos, Adel Dokhanchi, Bardh Hoxha, 2015, International Journal on Software Tools for Technology Transfer.
Houssam Abbas, A. Agung Julius, Georgios E. Fainekos, 2014, 2014 American Control Conference.
George J. Pappas, Georgios E. Fainekos, Georgios Fainekos, 2006, FATES/RV.
Wei Wei, Georgios E. Fainekos, Kangjin Kim, 2016, 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC).
Houssam Abbas, Georgios E. Fainekos, Georgios Fainekos, 2011, ArXiv.
Georgios E. Fainekos, Kangjin Kim, 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.
Yann-Hang Lee, Georgios E. Fainekos, Cumhur Erkan Tuncali, 2015, 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems.
Dejan Nickovic, Sriram Sankaranarayanan, Ezio Bartocci, 2018, Lectures on Runtime Verification.
Hadas Kress-Gazit, George J. Pappas, Georgios E. Fainekos, 2008, Adv. Robotics.
Sriram Sankaranarayanan, Georgios E. Fainekos, B. Wayne Bequette, 2017, SIGBED.
Wei Wei, Georgios E. Fainekos, Kangjin Kim, 2016, ArXiv.
Georgios E. Fainekos, Theodore P. Pavlic, Cumhur Erkan Tuncali, 2017, 2017 13th IEEE Conference on Automation Science and Engineering (CASE).
Georgios E. Fainekos, Shakiba Yaghoubi, Georgios Fainekos, 2017, CyPhy.
Houssam Abbas, James Kapinski, Jyotirmoy V. Deshmukh, 2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
Marcelo H. Ang, Heni Ben Amor, Georgios E. Fainekos, 2016, 2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC).
George J. Pappas, Georgios E. Fainekos, 2009, 2009 American Control Conference.
Antoine Girard, George J. Pappas, Georgios E. Fainekos, 2006, FORMATS.
Georgios E. Fainekos, Yoshihiro Kobayashi, Kangjin Kim, 2013, 2013 IEEE International Conference on Robotics and Biomimetics (ROBIO).
Georgios E. Fainekos, Georgios Fainekos, 2011, 2011 IEEE International Conference on Robotics and Automation.
Houssam Abbas, Georgios E. Fainekos, Bardh Hoxha, 2015, ARCH@CPSWeek.
Antoine Girard, George J. Pappas, Georgios E. Fainekos, 2007, HSCC.
Sriram Sankaranarayanan, Georgios E. Fainekos, Fraser Cameron, 2015, RV.
Sriram Sankaranarayanan, Eric Goubault, Georgios E. Fainekos, 2012, TECS.
Hadas Kress-Gazit, George J. Pappas, Georgios E. Fainekos, 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.
Heni Ben Amor, Georgios E. Fainekos, Mark Strickland, 2017, 2018 IEEE International Conference on Robotics and Automation (ICRA).
Georgios E. Fainekos, 2015, 2015 American Control Conference (ACC).
Houssam Abbas, Georgios E. Fainekos, Bardh Hoxha, 2014, ARCH@CPSWeek.
Sriram Sankaranarayanan, Georgios E. Fainekos, Hakan Yazarel, 2012, 2012 American Control Conference (ACC).
Georgios E. Fainekos, Adel Dokhanchi, Bardh Hoxha, 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Houssam Abbas, Georgios E. Fainekos, Georgios Fainekos, 2012, 2012 50th Annual Allerton Conference on Communication, Control, and Computing (Allerton).
Houssam Abbas, Georgios E. Fainekos, Georgios Fainekos, 2011, ATVA.
Georgios E. Fainekos, Shakiba Yaghoubi, 2017, 2017 American Control Conference (ACC).
Houssam Abbas, Hans D. Mittelmann, Georgios E. Fainekos, 2014, 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE).
Sriram Sankaranarayanan, George J. Pappas, Truong Nghiem, 2010, HSCC '10.
Georgios E. Fainekos, Adel Dokhanchi, Bardh Hoxha, 2015, ArXiv.
Houssam Abbas, Georgios E. Fainekos, 2015, ArXiv.
Sriram Sankaranarayanan, Georgios E. Fainekos, Aarti Gupta, 2009, 2009 30th IEEE Real-Time Systems Symposium.
Georgios E. Fainekos, Bardh Hoxha, Hengyi Yang, 2012, ICTSS.
Georgios E. Fainekos, Adel Dokhanchi, Bardh Hoxha, 2017, ARCH@CPSWeek.
Hadas Kress-Gazit, George J. Pappas, Georgios E. Fainekos, 2007, 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems.
Houssam Abbas, James Kapinski, Jyotirmoy V. Deshmukh, 2014, ArXiv.
Georgios E. Fainekos, Nikolaos Mavridis, Bardh Hoxha, 2015, 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Georgios E. Fainekos, Adel Dokhanchi, Bardh Hoxha, 2016, ACM Trans. Embed. Comput. Syst..
Sriram Sankaranarayanan, Georgios E. Fainekos, Georgios Fainekos, 2012, CMSB.
Sriram Sankaranarayanan, Georgios E. Fainekos, Che Liu, 2011, TACAS.
Sriram Sankaranarayanan, Georgios E. Fainekos, Georgios Fainekos, 2012, HSCC '12.
Sriram Sankaranarayanan, Georgios E. Fainekos, Adel Dokhanchi, 2015, 2015 International Conference on Embedded Software (EMSOFT).
Sriram Sankaranarayanan, Georgios E. Fainekos, Kangjin Kim, 2014, Int. J. Robotics Res..
George J. Pappas, Georgios E. Fainekos, Georgios Fainekos, 2007, FORMATS.
Christopher Miller, Sriram Sankaranarayanan, Hadi Ravanbakhsh, 2012, 2012 50th Annual Allerton Conference on Communication, Control, and Computing (Allerton).
Yann-Hang Lee, Georgios E. Fainekos, Cumhur Erkan Tuncali, 2016, ACM Trans. Embed. Comput. Syst..
Sriram Sankaranarayanan, Houssam Abbas, Georgios E. Fainekos, 2013, TECS.
Georgios E. Fainekos, Adel Dokhanchi, Bardh Hoxha, 2016, 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Georgios E. Fainekos, Kangjin Kim, 2013, 2013 IEEE International Conference on Robotics and Automation.
Georgios E. Fainekos, Kangjin Kim, 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).
Georgios E. Fainekos, Adel Dokhanchi, Bardh Hoxha, 2017, 2017 13th IEEE Conference on Automation Science and Engineering (CASE).
Yu Zhang, Georgios E. Fainekos, Kangjin Kim, 2015, 2015 IEEE International Conference on Automation Science and Engineering (CASE).
Houssam Abbas, Georgios E. Fainekos, Georgios Fainekos, 2013, 2013 American Control Conference.
Eric Goubault, Stefan Ratschan, Georgios E. Fainekos, 2011, Math. Comput. Sci..
Sriram Sankaranarayanan, Georgios E. Fainekos, Aleksandar Chakarov, 2011, RV.
Hadas Kress-Gazit, George J. Pappas, Georgios E. Fainekos, 2009, IEEE Transactions on Robotics.
Hadas Kress-Gazit, George J. Pappas, Georgios E. Fainekos, 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.
Georgios E. Fainekos, Herbert G. Tanner, H. Tanner, 2017, 2017 American Control Conference (ACC).
George J. Pappas, Georgios E. Fainekos, Georgios Fainekos, 2008 .