| 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 | 110 | 2014 |
| 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, 1567-1578, 2019 | 61 | 2019 |
| 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 | 58 | 2016 |
| 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 | 54 | 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 | 34 | 2012 |
| Indoor robot gardening: design and implementation N Correll, N Arechiga, A Bolger, M Bollini, B Charrow, A Clayton, ... Intelligent Service Robotics 3 (4), 219-232, 2010 | 24 | 2010 |
| Using verified control envelopes for safe controller design N Aréchiga, B Krogh 2014 American Control Conference, 2918-2923, 2014 | 15 | 2014 |
| 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 | 10 | 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, ... Proceedings of Japanese Modelica Conference, 2016 | 9 | 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 | 9 | 2016 |
| Efficient statistical validation of machine learning systems for autonomous driving W Shi, MB Alawieh, X Li, H Yu, N Arechiga, N Tomatsu Proceedings of the 35th International Conference on Computer-Aided Design, 1-8, 2016 | 8 | 2016 |
| Specifying safety of autonomous vehicles in signal temporal logic N Arechiga 2019 IEEE Intelligent Vehicles Symposium (IV), 58-63, 2019 | 7 | 2019 |
| Forward invariant cuts to simplify proofs of safety N Aréchiga, J Kapinski, JV Deshmukh, A Platzer, B Krogh 2015 International Conference on Embedded Software (EMSOFT), 227-236, 2015 | 6 | 2015 |
| Backpropagation for parametric STL K Leung, N Aréchiga, M Pavone 2019 IEEE Intelligent Vehicles Symposium (IV), 185-192, 2019 | 5 | 2019 |
| Automatic Testing and Falsification with Dynamically Constrained Reinforcement Learning X Qin, N Aréchiga, A Best, J Deshmukh arXiv preprint arXiv:1910.13645, 2019 | 4 | 2019 |
| Control Parameter Optimization for Autonomous Vehicle Software Using Virtual Prototyping S Dai, J Hite, T Masuda, Y Kashiba, N Arechiga, S Shiraishi, S Eisele, ... 2017 IEEE International Symposium on Software Reliability Engineering …, 2017 | 4 | 2017 |
| Learning-based abstractions for nonlinear constraint solving S Dathathri, N Arechiga, S Gao, RM Murray International Joint Conferences on Artificial Intelligence, 2017 | 4 | 2017 |
| Osiris: A tool for abstraction and verification of control software with lookup tables N Aréchiga, S Dathathri, S Vernekar, N Kathare, S Gao, S Shiraishi Proceedings of the 1st International Workshop on Safe Control of Connected …, 2017 | 4 | 2017 |
| Numerically-aided deductive safety proof for a powertrain control system N Aréchiga, J Kapinski, JV Deshmukh, A Platzer, B Krogh Electronic Notes in Theoretical Computer Science 317, 19-25, 2015 | 4 | 2015 |
| Proving properties of simulink models that include discrete valued functions AB Hocking, MA Aiello, JC Knight, S Shiraishi, M Yamaura, N Arechiga SAE Technical Paper, 2016 | 3 | 2016 |
