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...

وصف كامل

محفوظ في:
التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: LI, Yi, DONG, Jin Song, SUN, Jing, LIU, Yang, SUN, Jun
التنسيق: text
اللغة:English
منشور في: Institutional Knowledge at Singapore Management University 2014
الموضوعات:
Programming Languages and Compilers
Software Engineering
الوصول للمادة أونلاين: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
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

الانترنت

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

مواد مشابهة