Bayesian inference of linear temporal logic (LTL) specifications to explain differences across two sets of traces - View it on GitHub