4 citations · 7 across the 9 of their papers we have counts for
4 papers · 1 filter
LDLT -Lipschitz Network: Generalized Deep End-To-End Lipschitz Network Construction
Marius F. R. Juston, Ramavarapu S. Sreenivas, Dustin Nottage +1
Deep residual networks (ResNets) have demonstrated outstanding success in computer vision tasks, attributed to their ability to maintain gradient flow through deep architectures. S…
Safety Monitor for Off-Road Planning with Uncertainty Bounded Bekker Costs
Akshay Naik, Ramavarapu S. Sreenivas, William R. Norris +3
Reliable off-road autonomy requires operational constraints so that behavior stays predictable and safe when soil strength is uncertain. This paper presents a runtime assurance saf…
Path Enumeration by Position-Visit Counts in Recombining Trinomial Trees
Ethan Torres, Ramavarapu Sreenivas, Richard Sowers
Recombining trinomial trees are a workhorse for modeling discrete-event systems in option pricing, logistics, and feedback control. Because each node stores a state-dependent quant…
Neuro-Symbolic Generation of Explanations for Robot Policies with Weighted Signal Temporal Logic
Mikihisa Yuasa, Ramavarapu S. Sreenivas, Huy T. Tran
Neural network-based policies have demonstrated success in many robotic applications, but often lack human-explanability, which poses challenges in safety-critical deployments. To…