3 papers
eess.SY2025
Characterizing Human Feedback-Based Control in Naturalistic Driving Interactions via Gaussian Process Regression with Linear Feedback
Rachel DiPirro, Rosalyn Devonport, Dan Calderone +3
Understanding driver interactions is critical to designing autonomous vehicles to interoperate safely with human-driven cars. We consider the impact of these interactions on the po…
eess.SY2025
Data-Driven Reachability with Scenario Optimization and the Holdout Method
Elizabeth Dietrich, Rosalyn Devonport, Stephen Tu +1
Reachability analysis is an important method in providing safety guarantees for systems with unknown or uncertain dynamics. Due to the computational intractability of exact reachab…
cs.LG2024
SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks
Vignesh Sivaramakrishnan, Krishna C. Kalagarla, Rosalyn Devonport +3
We present a neural network verification toolbox to 1) assess the probability of satisfaction of a constraint, and 2) synthesize a set expansion factor to achieve the probability o…