Efficient Local Validation of Partially Ordered Models via Bayesian Directed Sampling. - Kellan Moorse; Richard M. Murray (ACC, 2024)