Agent-based Bayesian approach to monitoring the progress of invasive species eradication programs | Synapse