activity
20202026
most citedProbabilistic Verification of ReLU Neural Networks via Characteristic Functions

1 citations · 2 across the 9 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

math.OC2026

Free Final Time Adaptive Mesh Covariance Steering via Sequential Convex Programming

Joshua Pilipovsky

In this paper we develop a sequential convex programming (SCP) framework for free-final-time covariance steering of nonlinear stochastic differential equations (SDEs) subject to bo…