SDP Synthesis of Distributionally Robust Backward Reachable Trees for Probabilistic Planning - Aggarwal, N.; How, J.P. (IEEE Transactions on Automatic Control, Automatic Control, IEEE Transactions on, IEEE Trans. Automat. Contr., 2025)