| 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 | 1860 | 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 | 164 | 2014 |
| 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 | 114 | 2023 |
| 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 | 102 | 2016 |
| 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 | 81 | 2020 |
| Specifying safety of autonomous vehicles in signal temporal logic N Arechiga 2019 IEEE Intelligent Vehicles Symposium (IV), 58-63, 2019 | 73 | 2019 |
| 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 | 71 | 2009 |
| 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 | 50 | 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 | 40 | 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 | 33 | 2019 |
| Backpropagation for parametric STL K Leung, N Aréchiga, M Pavone 2019 IEEE Intelligent Vehicles Symposium (IV), 185-192, 2019 | 31 | 2019 |
| Using verified control envelopes for safe controller design N Aréchiga, B Krogh 2014 American Control Conference, 2918-2923, 2014 | 24 | 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 | 22 | 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 | 21 | 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 | 19 | 2016 |
| Drag-guided diffusion models for vehicle image generation N Arechiga, F Permenter, B Song, C Yuan arXiv preprint arXiv:2306.09935, 2023 | 17 | 2023 |
| 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 | 17 | 2016 |
| Personalized augmented reality vehicular assistance for color blindness condition S Dai, N Arechiga, CW Lin, S Shiraishi US Patent 10,423,844, 2019 | 16 | 2019 |
| Surrogate modeling of car drag coefficient with depth and normal renderings B Song, C Yuan, F Permenter, N Arechiga, F Ahmed International Design Engineering Technical Conferences and Computers and …, 2023 | 14 | 2023 |
| 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 | 14 | 2020 |
