机译:通过ASP中的边界模型检查来实现动作理论的验证的完整性
机译:基于阈值的分布式算法的有界模型检查的完整性:可达性
机译:定时Kripke结构的声音和完整的定时CTL模型检查以及实时重写理论
机译:实现ASP中动作理论的有界模型检查的完整性
机译:Unbounded-2-bounded:两阶段近似,用于模型检查无穷大直到概率系统的性质。
机译:使用扩散到边界模型的决策理论:选择反应时间和置信度
机译:通过拟合模型检查在ASP中验证行动理论的完整性
机译:使用抽象模型检查完整的需求规范