Please use this identifier to cite or link to this item:
Title: Planning as model checking tasks
Authors: Li, Y.
Sun, J.
Dong, J.S. 
Liu, Y. 
Sun, J.
Issue Date: 2012
Citation: Li, Y., Sun, J., Dong, J.S., Liu, Y., Sun, J. (2012). Planning as model checking tasks. Proceedings of the 2012 IEEE 35th Software Engineering Workshop, SEW 2012 : 177-186. ScholarBank@NUS Repository.
Abstract: Model checking provides a way to automatically verify hardware and software systems, whereas the goal of planning is to produce a sequence of actions that leads from the initial state to the desired goal states. Recently research indicates that there is a strong connection between model checking and planning problem solving. In this paper, we investigate the feasibility of using different model checking tools and techniques for solving classic planning problems. To achieve this, we carried out a number of experiments on different planning domains in order to compare the performance and capabilities of various tools. Our experimental results indicate that the performance of some model checkers is comparable to that of state-of-theart planners for certain categories of problems. In particular, a new planning module with specifically designed searching algorithm is implemented on top of the established model checking framework, Process Analysis Toolkit (PAT), to serve as a planning solution provider for upper layer applications. A case study on a public transportation management system has been developed to demonstrate the idea of using the PAT model checker as a planning service. © 2013 IEEE.
Source Title: Proceedings of the 2012 IEEE 35th Software Engineering Workshop, SEW 2012
ISBN: 9780769549477
DOI: 10.1109/SEW.2012.25
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.


checked on Sep 16, 2021


checked on Sep 16, 2021

Page view(s)

checked on Sep 16, 2021

Google ScholarTM



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.