Article thumbnail

Planning Via Model Checking: Some Experimental Results

By Daniela Berardi

Abstract

Model checking is a widely used technique in verification of dynamic systems. Recently several papers have shown that model checking can be used to do planning. In the present paper we report the results of a set of experiments on using two wellknown model checkers, Spin and SMV, to do traditional planning (i.e, planning in a complete information setting for reaching a state where a certain goal is satisfied). In the experiments we have compared the performances of such model checkers with stateof-art planners, IPP, FF, and TLPLAN, on problems used in AIPS'98 and AIPS'OO competitions

Topics: model-theoretic approaches to planning, planning for temporally extended goals, experimental
Year: 2012
OAI identifier: oai:CiteSeerX.psu:10.1.1.228.7435
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.dis.uniroma1.it/%7E... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.