Nikos Aréchiga
Toyota Motor Corporation (Switzerland)(CH)
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Autonomous Vehicle Technology and Safety, Model-Driven Software Engineering Techniques, Logic, programming, and type systems
Most-Cited Works
- → Learning Imbalanced Datasets with Label-Distribution-Aware Margin Loss(2019)226 cited
- → Simulation-guided lyapunov analysis for hybrid dynamical systems(2014)137 cited
- → How to model and prove hybrid systems with KeYmaera: a tutorial on safety(2015)69 cited
- → Specifying Safety of Autonomous Vehicles in Signal Temporal Logic(2019)69 cited
- → Building a distributed robot garden(2009)53 cited
- → Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods(2022)43 cited
- → Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods(2021)37 cited
- → Indoor robot gardening: design and implementation(2010)30 cited
- → Using theorem provers to guarantee closed-loop system properties(2012)23 cited
- → Heteroskedastic and Imbalanced Deep Learning with Adaptive Regularization(2020)20 cited