Kovalchuk, A., S. Shekhar, and R. I. Brafman. “Verifying Plans and Scripts for Robotics Tasks Using Performance Level Profiles”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 31, no. 1, May 2021, pp. 673-81, doi:10.1609/icaps.v31i1.16016.