Scidown文献预览系统！
无不变量的上下界参数时间自动机的TCTL模型检验( TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants )
tienneAndré DidierLime MathiasRamparison tienneAndré DidierLime MathiasRamparison MathiasRamparison DidierLime tienneAndré MathiasRamparison DidierLime tienneAndré
我们研究了一些定时特征是未知参数的定时系统。首先我们考虑上限参数时间自动机(U-PTAs)，它是带参数时间自动机的一个最简单的扩展，其中参数仅用作时钟上界。到目前为止，对于U-PTAs中参数值的存在性已有几个判定结果，从而满足了平坦的TCTL公式。我们在这里证明，这并没有扩展到完整的逻辑，只有一个层次的嵌套导致不可判定性。就我们所知，这为时间自动机提供了第一个可判定的问题，并为U-PTAS提供了一个不可判定的参数空性版本。其次，我们研究了下界/上界参数时间自动机(L/U-PTAS)，其中参数既可以作为时钟下界，也可以作为时钟上界，而不是两者兼而有之。我们证明了在没有不变量的情况下，对于L/U-PTAS，通过解析最后一个未被研究的活性性质，平坦的TCTL是可判定的。
SciDown文献求助系统（解决99%问题） Public Download Springer
『Sci-Hub|Scidown』怎么用？来看看教程吧！

支持模式 1.支持DOI号 2.支持英文文献全名搜索 3.支持参考文献搜索 4.知网文献（暂时关闭）

安卓手机、电脑用户，您可以在QQ浏览器里输入 www.scidown.cn 打开scidown解析，就可以解析、下载了！（注意是文献的DOI号）

苹果手机用户，您需要先在App Store里搜索并下载 Documents by Readdle 这个APP，在APP首页，左划右下角的指南针图标打开APP内置浏览器，在浏览器里输入 www.scidown.cn 打开scidown解析，就可以解析、下载了！

如出现BUG？赶快加入【Scidown互助交流群】反馈吧：729083885【点击一键加群】
『Sci-Hub|Scidown』相关参考文献
scidown 口服胰岛素:神话还是现实下载
scidown 全角膜测量法测定近视小切口摘除晶状体后的真实角膜功率下载