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