Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications

Published in IEEE Control Systems Letters, 2025