Planning as Model Checking Tasks.

Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun

Browse the full SEW paper archive.