Incorporation of probabilistic seismic phase labels into a Bayesian multiple-event seismic locator

We add probabilistic phase labels to the multiple-event joint probability function of Myers et al. that formerly included event locations, traveltime corrections and arrival-time measurement precision. Prior information on any of the multiple-event parameters may be used. The phase-label model includes a null label that captures phases not belonging to the collection of phases under consideration....