[1] Huang Wei,Wen Zhonghua,Jiang Yunfei,et al.Comparison Between Two Languages Used to Express Planning Goals:CTL and EAGLE[C]//Proceedings of PRICAI’06.[S.l.]:Springer-Verlag,2006:180-189. [2] Roveri C M.Conformant Planning via Model Checking and Heuristic Search[J].Artificial Intelligence,2004,159(1/2):127-206. [3] Bertoli P,Cimatti A,Roveri M,et al.Strong Planning Under Partial Observability[J].Artificial Intelligence,2006,170(1):337-384. [4] Roveri C M,Traverso P.Automatic OBDD-based Generation of Universal Plans in Non-deterministic Domains[C]//Proceedings of AAAI’98.Madison,USA:AAAI Press,1998:26-30. [5] Cimatti A,Pistore M,Rovveri M,et al.Weak,Strong,and Strong Cyclic Planning via Symbolic Model Checking[J].Artificial Intelligence,2003,147(1/2):35-64. [6] 陈建林.强规划解、弱规划解的研究[D].湘潭:湘潭大学,2011. [7] 文中华,黄 巍,刘任任,等.模型检测规划中的状态分层算法[J].软件学报,2009,20(4):858-869. [8] 文中华,黄 巍,刘任任,等.模型检测规划中的状态之间的可达关系研究[J].计算机学报,2012,35(8):1634-1643. [9] 黄丽芳.基于不确定系统的状态可达关系求规划解的算法研究[D].湘潭:湘潭大学,2013. [10] 胡雨隆.基于模型检测的不确定规划中的状态可达性研究[D].湘潭:湘潭大学,2012. [11] 黄丽芳,文中华,胡雨隆,等.不确定规划中状态循环可达关系的求解算法[J].计算机应用研究,2013,30(9):2689-2693. [12] 胡雨隆,文中华,常 青,等.不确定规划中状态非循环可达关系的求解算法[J].计算机仿真,2012,29(5):114-117. [13] 陈建林,文中华,朱 江,等.正向搜索算法求强规划解[J].计算机工程与应用,2011,47(6):52-54. [14] Huang Wei,Wen Zhonghua,Jiang Yunfei,et al.Structured Plans and Observation Reduction for Plans with Contexts[C]//Proceedings of IJCAI’09.Pasadena,USA:AAAI Press,2009:1721-1728. [15] Huang Wei,Wen Zhonghua,Jiang Yunfei,et al.Observa-tion Reduction for Strong Plans[C]//Proceedings of IJCAI’07.Hyderabad,India:AAAI Press,2007:1930-1935.
|