Rosalyn A. Devonport

According to our database, Rosalyn A. Devonport authored at least 3 papers in 2024.

Collaborative distances:

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

2024

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

CoRR, 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