Planning as Model Checking Tasks

Yi Li, Jing Sun 0002, Jin Song Dong, Yang Liu, Jun Sun 0001. Planning as Model Checking Tasks. In Jonathan P. Bowen, Huibiao Zhu, Mike Hinchey, editors, 35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012. pages 177-186, IEEE Computer Society, 2012. [doi]

Abstract

Abstract is missing.