Planning as Model Checking Tasks | IEEE Conference Publication | IEEE Xplore