N. Aréchiga
发表
Colin Wei,
Tengyu Ma,
Adrien Gaidon,
2019,
NeurIPS.
M. Pavone,
Karen Leung,
N. Aréchiga,
2020
.
Huan Liu,
Nikolaus Correll,
Daniela Rus,
2010,
Intell. Serv. Robotics.
M. Pavone,
E. Schmerling,
N. Aréchiga,
2022,
2205.02329.
B. Charrow,
D. Rus,
N. Correll,
2010
.
Sandeep Neema,
Nikos Arechiga,
Shinichi Shiraishi,
2016
.
Jonathan DeCastro,
N. Aréchiga,
N. Ozay,
2022
.
Sarah M. Loos,
A. Platzer,
N. Aréchiga,
2012
.
Jonathan DeCastro,
N. Aréchiga,
N. Ozay,
2022,
2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC).
M. Pavone,
Karen Leung,
N. Aréchiga,
2022,
The International Journal of Robotics Research.
Bernd Finkbeiner,
Maria Laura Delle Monache,
Philip Koopman,
2017,
SCAV@CPSWeek.
Sarah M. Loos,
Stefan Mitsch,
N. Aréchiga,
2015,
International Journal on Software Tools for Technology Transfer.
Xin Li,
Mohamed Baker Alawieh,
Huafeng Yu,
2016,
2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Armando Solar-Lezama,
Sicun Gao,
Soonho Kong,
2019,
CAV.
Bruce H. Krogh,
André Platzer,
James Kapinski,
2015,
2015 International Conference on Embedded Software (EMSOFT).
Nikos Arechiga,
N. Aréchiga,
2015
.
Bruce H. Krogh,
André Platzer,
Jyotirmoy V. Deshmukh,
2015,
NSV.
Sriram Sankaranarayanan,
James Kapinski,
Jyotirmoy V. Deshmukh,
2014,
HSCC.
Tengyu Ma,
Junwei Lu,
Adrien Gaidon,
2020,
ICLR.
André Platzer,
Sarah M. Loos,
Nikos Aréchiga,
2015,
International Journal on Software Tools for Technology Transfer.
Luke M. Guerdan,
Kenneth Holstein,
N. Aréchiga,
2022,
ArXiv.
Nikos Arechiga,
Peter Bailis,
Matei Zaharia,
2022,
SIGMOD Conference.
Bruce H. Krogh,
Nikos Aréchiga,
B. Krogh,
2014,
2014 American Control Conference.
Marco Pavone,
Karen Leung,
Nikos Aréchiga,
2019,
2019 IEEE Intelligent Vehicles Symposium (IV).
Frank Permenter,
N. Aréchiga,
Faez Ahmed,
2023,
2306.06110.
Sandeep Neema,
Nikos Arechiga,
Shinichi Shiraishi,
2016
.
Frank Permenter,
N. Aréchiga,
Binyang Song,
2023,
ArXiv.
Sicun Gao,
Nikos Arechiga,
Sumanth Dathathri,
2016
.
Nikos Aréchiga,
N. Aréchiga,
2019,
2019 IEEE Intelligent Vehicles Symposium (IV).
Huan Liu,
Nikolaus Correll,
Daniela Rus,
2009,
2009 IEEE/RSJ International Conference on Intelligent Robots and Systems.
Nikos Arechiga,
Francine Chen,
Yan-Ying Chen,
2021,
ArXiv.
Jiashi Feng,
Saining Xie,
Priya Goyal,
2020
.
Daniel Kang,
M. Zaharia,
Sudeep Pillai,
2021
.
Nikos Arechiga,
Jonathan DeCastro,
Soonho Kong,
2019,
ArXiv.
Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods
pdf
Marco Pavone,
Nikos Arechiga,
Karen Leung,
2020,
WAFR.
Richard M. Murray,
Sicun Gao,
Sumanth Dathathri,
2017,
IJCAI.
Tengyu Ma,
Junwei Lu,
Adrien Gaidon,
2021
.
Luke M. Guerdan,
Kenneth Holstein,
N. Aréchiga,
2023,
International Conference on Climate Informatics.
Marco Pavone,
Jonathan DeCastro,
Karen Leung,
2020,
2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC).