Supermartingale Analysis Protocol Design | Supermartingale Analysis | Mathematics | NEROS