Nikos Aréchiga - Concepedia

Author

Nikos Aréchiga

Toyota Research Institute ORCID

Also Known As

Arechiga, Nikos, Aréchiga, Nikos, N. Arechiga, Nikos Archiga, Nikos Arechiga, Nikos Aréchiga

Publications

950

Citations

H-Index

Concepts

All Affiliations

Toyota Research Institute Carnegie Mellon University Stanford University Toyota Industries (United States)Toyota Motor Corporation (Switzerland)

About

Nikos Aréchiga is an author at Toyota Research Institute specializing in engineering, computer science, and systems engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	12	701
2	Computer Science	11	11	684
3	Data Science	4	4	277
4	Computer Engineering	3	3	126
5	Space Engineering	2	2	40

Nikos Aréchiga

Publications

794

Citations

H-Index

Page 1

	Year	Citations
Learning Imbalanced Datasets with Label-Distribution-Aware Margin Loss Kaidi Cao, Colin Wei, Adrien Gaidon, arXiv (Cornell University) Semi-supervised LearningData AugmentationEngineeringMachine LearningData Science	2019	226
Simulation-guided lyapunov analysis for hybrid dynamical systems James Kapinski, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, Mathematical ProgrammingAutomotive Powertrain ControlEngineeringBarrier CertificatesVehicle Control	2014	137
How to model and prove hybrid systems with KeYmaera: a tutorial on safety Jan-David Quesel, Stefan Mitsch, Sarah M. Loos, International Journal on Software Tools for Technology Transfer EngineeringVerificationSystem-level DesignComplex SystemsComplex Hybrid Systems	2015	69
Specifying Safety of Autonomous Vehicles in Signal Temporal Logic Nikos Aréchiga EngineeringAutonomous SystemsIntelligent SystemsFormal VerificationIntelligent Traffic Management	2019	66
Building a distributed robot garden Nikolaus Correll, Nikos Aréchiga, Adrienne Bolger, EngineeringCherry TomatoesAgricultural RobotField RoboticsAgricultural Robotics	2009	53
Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods Karen Leung, Nikos Aréchiga, Marco Pavone The International Journal of Robotics Research Artificial IntelligenceGradient-based MethodsEngineeringVerificationIntelligent Robotics	2022	43
Indoor robot gardening: design and implementation Nikolaus Correll, Nikos Aréchiga, Adrienne Bolger, Intelligent Service Robotics RoboticsUrban GardeningIndoor Robot GardeningAgricultural Robot	2010	30
Using theorem provers to guarantee closed-loop system properties Nikos Aréchiga, Sarah M. Loos, André Platzer, EngineeringVehicle ControlVerificationTheorem ProversAutomated Proof	2012	23
Heteroskedastic and Imbalanced Deep Learning with Adaptive Regularization Kaidi Cao, Yining Chen, Junwei Lu, arXiv (Cornell University) Data AugmentationEngineeringMachine LearningData ScienceNoise-robust Deep Learning	2020	20
Efficient statistical validation of machine learning systems for autonomous driving Weijing Shi, Mohamed Baker Alawieh, Xin Li,	2016	19

Page 1