Exploratory Optimal Stopping: A Singular Control Formulation | Synapse