Nikos Arechiga
Nikos Arechiga
Toyota Research Institute
Verified email at
Cited by
Cited by
Learning imbalanced datasets with label-distribution-aware margin loss
K Cao, C Wei, A Gaidon, N Arechiga, T Ma
Advances in neural information processing systems 32, 2019
Simulation-guided Lyapunov analysis for hybrid dynamical systems
J Kapinski, JV Deshmukh, S Sankaranarayanan, N Arechiga
Proceedings of the 17th international conference on Hybrid systems …, 2014
How to model and prove hybrid systems with KeYmaera: a tutorial on safety
JD Quesel, S Mitsch, S Loos, N Aréchiga, A Platzer
International Journal on Software Tools for Technology Transfer 18 (1), 67-91, 2016
Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods
K Leung, N Aréchiga, M Pavone
The International Journal of Robotics Research 42 (6), 356-370, 2023
Heteroskedastic and imbalanced deep learning with adaptive regularization
K Cao, Y Chen, J Lu, N Arechiga, A Gaidon, T Ma
arXiv preprint arXiv:2006.15766, 2020
Building a distributed robot garden
N Correll, N Arechiga, A Bolger, M Bollini, B Charrow, A Clayton, ...
2009 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2009
Specifying safety of autonomous vehicles in signal temporal logic
N Arechiga
2019 IEEE Intelligent Vehicles Symposium (IV), 58-63, 2019
Using theorem provers to guarantee closed-loop system properties
N Aréchiga, SM Loos, A Platzer, BH Krogh
2012 American Control Conference (ACC), 3573-3580, 2012
Indoor robot gardening: design and implementation
N Correll, N Arechiga, A Bolger, M Bollini, B Charrow, A Clayton, ...
Intelligent Service Robotics 3, 219-232, 2010
Automatic testing and falsification with dynamically constrained reinforcement learning
X Qin, N Aréchiga, A Best, J Deshmukh
arXiv preprint arXiv:1910.13645, 2019
Backpropagation for parametric STL
K Leung, N Aréchiga, M Pavone
2019 IEEE Intelligent Vehicles Symposium (IV), 185-192, 2019
Using verified control envelopes for safe controller design
N Aréchiga, B Krogh
2014 American Control Conference, 2918-2923, 2014
Numerically-robust inductive proof rules for continuous dynamical systems
S Gao, J Kapinski, J Deshmukh, N Roohi, A Solar-Lezama, N Arechiga, ...
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
Finding label and model errors in perception data with learned observation assertions
D Kang, N Arechiga, S Pillai, PD Bailis, M Zaharia
Proceedings of the 2022 International Conference on Management of Data, 496-505, 2022
Efficient statistical validation of machine learning systems for autonomous driving
W Shi, MB Alawieh, X Li, H Yu, N Arechiga, N Tomatsu
2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2016
ADAS virtual prototyping using modelica and unity co-simulation via openmeta
M Yamaura, N Arechiga, S Shiraishi, S Eisele, J Hite, S Neema, J Scott, ...
The First Japanese Modelica Conferences, 43-49, 2016
Personalized augmented reality vehicular assistance for color blindness condition
S Dai, N Arechiga, CW Lin, S Shiraishi
US Patent 10,423,844, 2019
ADAS virtual prototyping with the OpenMETA toolchain
S Eisele, M Yamaura, N Arechiga, S Shiraishi, J Hite, J Scott, S Neema, ...
SAE International Journal of Passenger Cars-Electronic and Electrical …, 2016
Proving critical properties of Simulink models
AB Hocking, MA Aiello, JC Knight, N Aréchiga
2016 IEEE 17th International Symposium on High Assurance Systems Engineering …, 2016
Interpretable policies from formally-specified temporal properties
J DeCastro, K Leung, N Aréchiga, M Pavone
2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020
The system can't perform the operation now. Try again later.
Articles 1–20