Interestingly enough, the model(s) obtained can not explain certain well-established experimental ﬁnidings.
On the existence of the "classical trajectories" of atoms in the Stern-Gerlach experiment
In Section 2, we derive Skovgaard’s adjusted likelihood ratio statistic for testing hypothesis on the parameters of the model deﬁnide by (1)-(3).
Small-sample likelihood inference in extreme-value regression models
Example of such problems range from ﬁnding ladders in two-player games to ﬁniding paranoid wins in multi-player games.
Minimal Proof Search for Modal Logic K Model Checking