Nikos Aréchiga
发表
Nikos Aréchiga,
N. Aréchiga,
2019,
2019 IEEE Intelligent Vehicles Symposium (IV).
Sriram Sankaranarayanan,
James Kapinski,
Jyotirmoy V. Deshmukh,
2014,
HSCC.
John C. Knight,
Nikos Aréchiga,
M. Anthony Aiello,
2017,
NFM.
Sicun Gao,
Sumanth Dathathri,
Shashank Vernekar,
2017,
SCAV@CPSWeek.
Colin Wei,
Tengyu Ma,
Adrien Gaidon,
2019,
NeurIPS.
Marco Pavone,
Karen Leung,
Nikos Aréchiga,
2019,
2019 IEEE Intelligent Vehicles Symposium (IV).
Xin Li,
Mohamed Baker Alawieh,
Huafeng Yu,
2016,
2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Bruce H. Krogh,
André Platzer,
Jyotirmoy V. Deshmukh,
2015,
NSV.
Armando Solar-Lezama,
Sicun Gao,
Soonho Kong,
2019,
CAV.
Bruce H. Krogh,
André Platzer,
James Kapinski,
2015,
2015 International Conference on Embedded Software (EMSOFT).
Richard M. Murray,
Sicun Gao,
Sumanth Dathathri,
2017,
IJCAI.
Marco Pavone,
Jonathan DeCastro,
Karen Leung,
2020,
2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC).
Huan Liu,
Nikolaus Correll,
Daniela Rus,
2010,
Intell. Serv. Robotics.
André Platzer,
Sarah M. Loos,
Nikos Aréchiga,
2015,
International Journal on Software Tools for Technology Transfer.
Huan Liu,
Nikolaus Correll,
Daniela Rus,
2009,
2009 IEEE/RSJ International Conference on Intelligent Robots and Systems.
Bruce H. Krogh,
André Platzer,
Sarah M. Loos,
2012,
2012 American Control Conference (ACC).
Shinichi Shiraishi,
Ted Bapty,
Nikos Aréchiga,
2017,
2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).
Bruce H. Krogh,
Nikos Aréchiga,
B. Krogh,
2014,
2014 American Control Conference.
John C. Knight,
Nikos Aréchiga,
M. Anthony Aiello,
2016,
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE).