The Bench Transition System and Stochastic Exploration. - Dawson Tomasz; Richard Valenzano (SOCS, 2024)