Model checking approach to automated planning

Model checking approach to automated planning

Model checking provides a way to automatically explore the state space of a finite state system based on desired properties, whereas planning is to produce a sequence of actions that leads from the initial state to the target goal states. Previous research in this field proposed a number of approach...

Full description

Saved in:
Bibliographic Details
Main Authors: LI, Yi, DONG, Jin Song, SUN, Jing, LIU, Yang, SUN, Jun
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2014
Subjects:
Programming Languages and Compilers
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/4978
https://ink.library.smu.edu.sg/context/sis_research/article/5981/viewcontent/2014_Model_Checking_Approach_to_Automated_Planning.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/4978
https://ink.library.smu.edu.sg/context/sis_research/article/5981/viewcontent/2014_Model_Checking_Approach_to_Automated_Planning.pdf

Similar Items