Markov processes; learning (artificial intelligence); AI algorithms; ambiguity coefficient; artificial intelligence; behavioral psychology; bisimulation theory; coffee task domain; curse-of-dimensionality problem; neighbourhood approach; quantized domain; reinforcement learning; state abstraction; stimulus discrimination theory; Abstracts; Aerospace electronics; Context; Heuristic algorithms; Indexes; Robots; Vectors;
机译:应用于不透明度验证的组合可见双仿真抽象
机译:应用于不透明度验证的组合可见双仿真抽象
机译:可见的双仿真等效项-时间逻辑验证的统一抽象
机译:邻域对量化域的状态抽象中的Bisimulation方法
机译:平地制作实践指南:邻里管理的合作方法。 瑞典堡街区管理计划分析
机译:更高的神经功能和行为:感知和绝对决策:不同抽象级别的两个域的目标相关表示
机译:DWT域中使用量化和模糊逻辑方法的鲁棒数字图像水印