Probabilistic Verification of Spacecraft Acquisition Sequence Using Polynomial Chaos Expansion | Publicación