A. Kovalchuk, S. Shekhar, and R. I. Brafman, “Verifying Plans and Scripts for Robotics Tasks Using Performance Level Profiles”, ICAPS, vol. 31, no. 1, pp. 673-681, May 2021.