Rosalyn A. Devonport

According to our database, Rosalyn A. Devonport authored at least 4 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Data-Driven Reachability with Scenario Optimization and the Holdout Method.

Elizabeth Dietrich, Rosalyn A. Devonport, Stephen Tu, Murat Arcak

CoRR, April, 2025

SAVER: A Toolbox for SAmpling-Based, Probabilistic VERification of Neural Networks.

Vignesh Sivaramakrishnan, Krishna Chaitanya Kalagarla, Rosalyn A. Devonport, Joshua Pilipovsky, Panagiotis Tsiotras, Meeko Oishi

Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 2025

2024

Stochastic Reachability of Uncontrolled Systems via Probability Measures: Approximation via Deep Neural Networks.

Karthik Sivaramakrishnan, Vignesh Sivaramakrishnan, Rosalyn A. Devonport, Meeko M. K. Oishi

Proceedings of the 63rd IEEE Conference on Decision and Control, 2024

Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order.

Vignesh Sivaramakrishnan, Rosalyn A. Devonport, Murat Arcak, Meeko M. K. Oishi

Proceedings of the 63rd IEEE Conference on Decision and Control, 2024