15 citations · 26 across the 2 of their papers we have counts for
3 papers
Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation
Sangdon Park, Osbert Bastani, James Weimer +1
Reliable uncertainty estimates are an important tool for helping autonomous agents or human decision makers understand and leverage predictive models. However, existing approaches…
Resilient Cyberphysical Systems and their Application Drivers: A Technology Roadmap
Somali Chaterji, Parinaz Naghizadeh, Muhammad Ashraful Alam +14
Cyberphysical systems (CPS) are ubiquitous in our personal and professional lives, and they promise to dramatically improve micro-communities (e.g., urban farms, hospitals), macro-…
Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller
Radoslav Ivanov, Taylor J. Carpenter, James Weimer +3
This paper describes a verification case study on an autonomous racing car with a neural network (NN) controller. Although several verification approaches have been proposed over t…