Nikos Aréchiga

Learning Imbalanced Datasets with Label-Distribution-Aware Margin Loss

Kaidi Cao, Colin Wei, Adrien Gaidon et al. · arXiv (Cornell University) · 2019 · 226 citations · Full text

Semi-supervised Learning, Data Augmentation, Engineering +15

Simulation-guided lyapunov analysis for hybrid dynamical systems

James Kapinski, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan et al. · 2014 · 137 citations

Mathematical Programming, Automotive Powertrain Control, Engineering +13

How to model and prove hybrid systems with KeYmaera: a tutorial on safety

Jan-David Quesel, Stefan Mitsch, Sarah M. Loos et al. · International Journal on Software Tools for Technology Transfer · 2015 · 69 citations · Full text

Engineering, Verification, System-level Design +23

Specifying Safety of Autonomous Vehicles in Signal Temporal Logic

Nikos Aréchiga · 2019 · 66 citations

Engineering, Autonomous Systems, Intelligent Systems +16

Building a distributed robot garden

Nikolaus Correll, Nikos Aréchiga, Adrienne Bolger et al. · 2009 · 53 citations

Engineering, Cherry Tomatoes, Agricultural Robot +17