Tomasz, D.; Valenzano, R. The Bench Transition System and Stochastic Exploration. SOCS 2024, 17, 143-151.