Juba, B.; Stern, R. Learning Probably Approximately Complete and Safe Action Models for Stochastic Worlds. AAAI 2022, 36, 9795-9804.