计算机工程2015,Vol.41Issue(1):196-199,217,5.DOI:10.3969/j.issn.1000-3428.2015.01.036
不确定规划中可达关系的快速求解算法
Fast Solving Algorithm of Reachability Relation in Uncertain Planning
摘要
关键词
不确定规划/可达关系/智能规划/模型检测/不确定性/不确定状态转移系统Key words
uncertain planning/reachability relation/intelligent planning/model checking/uncertainty/uncertain state-transition system分类
信息技术与安全科学引用本文复制引用
龙凤,文中华,唐杰,王进宗..不确定规划中可达关系的快速求解算法[J].计算机工程,2015,41(1):196-199,217,5.基金项目
国家自然科学基金资助项目(61070232,61272295). (61070232,61272295)