B. Juba and R. Stern, “Learning Probably Approximately Complete and Safe Action Models for Stochastic Worlds”, AAAI, vol. 36, no. 9, pp. 9795-9804, Jun. 2022.