Nikos Aréchiga

Most-cited papers

Learning Imbalanced Datasets with Label-Distribution-Aware Margin Loss
Kaidi Cao, Colin Wei, Adrien Gaidon, Nikos Aréchiga +1 more
2019Neural Information Processing Systems2,315 citations
Semantic Scholar
Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods
Karen Leung, Nikos Aréchiga, M. Pavone
2020Workshop on the Algorithmic Foundations of Robotics160 citations Open access
Semantic Scholar
Simulation-guided lyapunov analysis for hybrid dynamical systems
J. Kapinski, Jyotirmoy V. Deshmukh, S. Sankaranarayanan, Nikos Aréchiga
2014International Conference on Hybrid Systems: Computation and Control146 citations
Semantic Scholar
Heteroskedastic and Imbalanced Deep Learning with Adaptive Regularization
Kaidi Cao, Yining Chen, Jun-Wei Lu, Nikos Aréchiga +2 more
2020International Conference on Learning Representations86 citations
Semantic Scholar
How to model and prove hybrid systems with KeYmaera: a tutorial on safety
Jan-David Quesel, Stefan Mitsch, Sarah M. Loos, Nikos Aréchiga +1 more
2015International Journal on Software Tools for Technology Transfer (STTT)80 citations Open access
Semantic Scholar
Specifying Safety of Autonomous Vehicles in Signal Temporal Logic
Nikos Aréchiga
20192019 IEEE Intelligent Vehicles Symposium (IV)76 citations
Semantic Scholar
Building a distributed robot garden
N. Correll, Nikos Aréchiga, Adrienne Bolger, M. Bollini +14 more
20092009 IEEE/RSJ International Conference on Intelligent Robots and Systems59 citations Open access
Semantic Scholar
Using theorem provers to guarantee closed-loop system properties
Nikos Aréchiga, Sarah M. Loos, André Platzer, B. Krogh
2012American Control Conference37 citations
Semantic Scholar
Backpropagation for Parametric STL
Karen Leung, Nikos Aréchiga, M. Pavone
20192019 IEEE Intelligent Vehicles Symposium (IV)29 citations
Semantic Scholar
Indoor robot gardening: design and implementation
N. Correll, Nikos Aréchiga, Adrienne Bolger, M. Bollini +14 more
2010Intell. Serv. Robotics29 citations Open access
Semantic Scholar
Surrogate Modeling of Car Drag Coefficient with Depth and Normal Renderings
B. Song, Chenyang Yuan, Frank Permenter, Nikos Aréchiga +1 more
2023Design Automation Conference27 citations Open access
Semantic Scholar
Using verified control envelopes for safe controller design
Nikos Aréchiga, B. Krogh
2014American Control Conference22 citations
Semantic Scholar
Training Towards Critical Use: Learning to Situate AI Predictions Relative to Human Knowledge
Anna Kawakami, Luke Guerdan, Yanghuidi Cheng, Matthew L. Lee +5 more
2023International Conference on Climate Informatics21 citations Open access
Semantic Scholar
Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems
Si-Cun Gao, J. Kapinski, Jyotirmoy V. Deshmukh, Nima Roohi +3 more
2019International Conference on Computer Aided Verification21 citations Open access
Semantic Scholar
Finding Label and Model Errors in Perception Data With Learned Observation Assertions
Daniel Kang, Nikos Aréchiga, Sudeep Pillai, Peter D. Bailis +1 more
2022SIGMOD Conference19 citations Open access
Semantic Scholar
Efficient statistical validation of machine learning systems for autonomous driving
Weijing Shi, Mohamed Baker Alawieh, Xin Li, Hua-Feng Yu +2 more
20162016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)18 citations
Semantic Scholar
Drag-guided diffusion models for vehicle image generation
Nikos Aréchiga, Frank Permenter, B. Song, Chenyang Yuan
2023arXiv.org17 citations Open access
Semantic Scholar
Rethinking Class-Balanced Methods for Long-Tailed Visual Recognition from a Domain Adaptation Perspective
Kaidi Cao, Colin Wei, Adrien Gaidon, Nikos Aréchiga +15 more
202014 citations
Semantic Scholar
ADAS Virtual Prototyping using Modelica and Unity Co-simulation via OpenMETA
Masahiro Yamaura, Nikos Aréchiga, Shinichi Shiraishi, Scott Eisele +4 more
201614 citations Open access
Semantic Scholar
Interpretable Policies from Formally-Specified Temporal Properties
Jonathan A. DeCastro, Karen Leung, Nikos Aréchiga, M. Pavone
20202020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC)13 citations
Semantic Scholar
Towards a Learner-Centered Explainable AI: Lessons from the learning sciences
Anna Kawakami, Luke Guerdan, Yanghuidi Cheng, Anita Sun +7 more
2022arXiv.org11 citations Open access
Semantic Scholar
Accelerating Understanding of Scientific Experiments with End to End Symbolic Regression
Nikos Aréchiga, Francine Chen, Yan-Ying Chen, Yanxia Zhang +3 more
2021arXiv.org11 citations
Semantic Scholar
A Safe Preference Learning Approach for Personalization With Applications to Autonomous Vehicles
Ruya Karagulle, Nikos Aréchiga, Andrew Best, Jonathan DeCastro +1 more
2023IEEE Robotics and Automation Letters10 citations Open access
Semantic Scholar
Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles
Daniel Jackson, Valerie Richmond, Mike Wang, Jeff Chow +5 more
2021arXiv.org9 citations
Semantic Scholar
Classification of Driving Behaviors Using STL Formulas: A Comparative Study
Ruya Karagulle, Nikos Aréchiga, Jonathan DeCastro, N. Ozay
2022International Conference on Formal Modeling and Analysis of Timed Systems7 citations Open access
Semantic Scholar
Control Parameter Optimization for Autonomous Vehicle Software Using Virtual Prototyping
Siyuan Dai, Joseph Hite, Takato Masuda, Y. Kashiba +5 more
20172017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)6 citations
Semantic Scholar
Forward invariant cuts to simplify proofs of safety
Nikos Aréchiga, J. Kapinski, Jyotirmoy V. Deshmukh, André Platzer +1 more
2015International Conference on Embedded Software6 citations Open access
Semantic Scholar
Outlier-robust Inverse Reinforcement Learning and Reward-based Detection of Anomalous Driving Behaviors
Dan Li, Mohamad Louai Shehab, Zexiang Liu, Nikos Aréchiga +2 more
20222022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC)5 citations
Semantic Scholar
Back-propagation through STL Speciﬁcations: Infusing Logical Structure into Gradient-Based Methods
Karen Leung, Nikos Aréchiga, M. Pavone
20205 citations
Semantic Scholar
Learning-Based Abstractions for Nonlinear Constraint Solving
Sumanth Dathathri, Nikos Aréchiga, Si-Cun Gao, R. Murray
2017International Joint Conference on Artificial Intelligence5 citations Open access
Semantic Scholar
Proving Critical Properties of Simulink Models
A. Hocking, M. Aiello, J. Knight, Nikos Aréchiga
2016IEEE International Symposium on High-Assurance Systems Engineering5 citations
Semantic Scholar
Second-Order Sensitivity Analysis for Bilevel Optimization
Robert Dyro, E. Schmerling, Nikos Aréchiga, M. Pavone
2022International Conference on Artificial Intelligence and Statistics4 citations Open access
Semantic Scholar
Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables
Nikos Aréchiga, Sumanth Dathathri, S. Vernekar, Nagesh Kathare +2 more
2017SCAV@CPSWeek4 citations Open access
Semantic Scholar
Numerically-aided Deductive Safety Proof for a Powertrain Control System
Nikos Aréchiga, J. Kapinski, Jyotirmoy V. Deshmukh, André Platzer +1 more
2015Numerical Software Verification3 citations Open access
Semantic Scholar
Poster Abstract: Safety Guaranteed Preference Learning Approach for Autonomous Vehicles
Ruya Karagulle, Nikos Aréchiga, A. Best, Jonathan DeCastro +1 more
2023International Conference on Hybrid Systems: Computation and Control2 citations Open access
Semantic Scholar
Understanding and Shifting Preferences for Battery Electric Vehicles
Nikos Aréchiga, Francine Chen, R. Iliev, Emily S. Sumner +11 more
2022arXiv.org2 citations
Semantic Scholar
Proving Properties of Simulink Models that Include Discrete Valued Functions
A. Hocking, M. Aiello, J. Knight, Shinichi Shiraishi +2 more
20162 citations
Semantic Scholar
ADAS Virtual Prototyping with the OpenMETA Toolchain
Scott Eisele, Masahiro Yamaura, Nikos Aréchiga, Shinichi Shiraishi +4 more
20162 citations
Semantic Scholar
Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety
Jan-David Quesel, Stefan Mitsch, Sarah M. Loos, Nikos Aréchiga +1 more
2021International Journal on Software Tools for Technology Transfer (STTT)1 citations Open access
Semantic Scholar
Finding Label Errors in Autonomous Vehicle Data With Learned Observation Assertions
Daniel Kang, Nikos Aréchiga, Sudeep Pillai, Peter D. Bailis +1 more
20211 citations
Semantic Scholar
Better AI through Logical Scaffolding
Nikos Aréchiga, Jonathan A. DeCastro, Soonho Kong, Karen Leung
2019arXiv.org1 citations
Semantic Scholar
Input Space Partitioning to Enable Massively Parallel Proof
A. Hocking, M. Aiello, J. Knight, Nikos Aréchiga
2017NASA Formal Methods1 citations
Semantic Scholar
How to Prove Complex Properties of Hybrid Systems with KeYmaera : A Tutorial ?
Jan-David Quesel, Stefan Mitsch, Sarah M. Loos, Nikos Aréchiga +1 more
20121 citations
Semantic Scholar
Certiﬁed Perception for Autonomous Cars
Uriel Guajardo, Annie Bryan, Nikos Aréchiga, Sergio Campos +5 more
20210 citations
Semantic Scholar
Session details: Cyber-physical systems: CPS for transportation sector
Teresa Higuera Toledano, Nikos Aréchiga, G. Karsai
2018Online World Conference on Soft Computing in Industrial Applications0 citations
Semantic Scholar
Session details: Cyber-physical systems: Adaptive and embedded CPS
Teresa Higuera Toledano, Nikos Aréchiga, G. Karsai
2018Online World Conference on Soft Computing in Industrial Applications0 citations
Semantic Scholar
Session details: Cyber-physical systems: Network protection
Teresa Higuera Toledano, Nikos Aréchiga, G. Karsai
2018Online World Conference on Soft Computing in Industrial Applications0 citations
Semantic Scholar
Session details: Cyber-physical systems: Analysis and methodologies for CPS
Teresa Higuera Toledano, Nikos Aréchiga, G. Karsai
2018Online World Conference on Soft Computing in Industrial Applications0 citations
Semantic Scholar
Faster Constraint Solving Using Learning Based Abstractions
Sumanth Dathathri, Nikos Aréchiga, Si-Cun Gao
20160 citations
Semantic Scholar
Controller Verification and Design with Logical Analysis Support
Nikos Aréchiga
20150 citations
Semantic Scholar