Formal proof that a categorical phase-skip detector catches what CUSUM/GLR can't

by nicbogaert | View on Hacker News