@进行中{a2bade4c879048a2b511078a01f5ac87，
title=“关于不确定性下加权Kripke结构的验证”，
abstract=“我们研究了加权Kripke结构在存在不精确权重的情况下的加权CTL性质检查问题。我们考虑了加权Krispke结构概念的两个扩展，即（i）参数加权Kripve结构，其转换权重被建模为一组参数上的仿射映射，以及（ii）权重不确定的Kripke结构，与精确的实值权重相对，其转换由实值随机变量标记。我们通过使用扩展参数依赖图来解决这个问题，这是Liu和Smolka对依赖图的符号扩展。使用原型工具实现进行的实验表明，我们的方法在数量级上优于WKS的最新工具。",
author=“乔瓦尼·巴奇（Giovanni Bacci）和米克尔·汉森（Mikkel Hansen）和拉森（Larsen），{金·古德斯特朗}”，
year=“2018”，
月=一月，
day=“1”，
doi=“10.1007/978-3-319-99154-2_5”，
language=“英语”，
isbn=“9783319991535”，
series=“计算机科学课堂讲稿（包括人工智能子系列课堂讲稿和生物信息学课堂讲稿）”，
publisher=“Springer”，
pages=“71--86”，
editor=“Andras Horvath和Annabelle McIver”，
booktitle=“系统定量评估-第15届国际会议，QEST 2018，会议记录”，
address=“德国”，
注=“2018年系统的定量评估；会议日期：2018年9月4日至2018年7月9日”，
url=“http://www.qest.org/qest2018/",
}