Claim [4]: reproduce Theorem 3.4 detection-time bound on a GENUINE stochastic (Markov) game -- multi-state, action-dependent transitions, stationary mu, state-averaged KLbar, LR-martingale detector, Remark 3.5 mixture; full source shown
verified 
DineshAI commited on 