activity
20192022
most citedCertified Control: An Architecture for Verifiable Safety of Autonomous Vehicles

6 citations · 8 across the 4 of their papers we have counts for

collaborators

7 papers

math.OC2022

Second-Order Sensitivity Analysis for Bilevel Optimization

Robert Dyro, Edward Schmerling, Nikos Arechiga +1

In this work we derive a second-order approach to bilevel optimization, a type of mathematical programming in which the solution to a parameterized optimization problem (the "lower…

cs.IR20222 cited

Understanding and Shifting Preferences for Battery Electric Vehicles

Nikos Arechiga, Francine Chen, Rumen Iliev +12

Identifying personalized interventions for an individual is an important task. Recent work has shown that interventions that do not consider the demographic background of individua…

cs.DB2022

Finding Label and Model Errors in Perception Data With Learned Observation Assertions

Daniel Kang, Nikos Arechiga, Sudeep Pillai +2

ML is being deployed in complex, real-world scenarios where errors have impactful consequences. In these systems, thorough testing of the ML pipelines is critical. A key component…

cs.RO20216 cited

Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles

Daniel Jackson, Valerie Richmond, Mike Wang +6

Widespread adoption of autonomous cars will require greater confidence in their safety than is currently possible. Certified control is a new safety architecture whose goal is two-…

cs.LG2020

Heteroskedastic and Imbalanced Deep Learning with Adaptive Regularization

Kaidi Cao, Yining Chen, Junwei Lu +3

Real-world large-scale datasets are heteroskedastic and imbalanced -- labels have varying levels of uncertainty and label distributions are long-tailed. Heteroskedasticity and imba…

cs.LG2019

Better AI through Logical Scaffolding

Nikos Arechiga, Jonathan DeCastro, Soonho Kong +1

We describe the concept of logical scaffolds, which can be used to improve the quality of software that relies on AI components. We explain how some of the existing ideas on runtim…