computational complexity; decidability; temporal logic; EXPSPACE-completeness; Presburger constraints; constraint LTL; decidability; formal language; freeze operator; freeze quantifier; linear temporal logic; undecidability;
机译:关于约束LTL中的冻结量词:可确定性和复杂性
机译:平面冻结LTL的复杂性
机译:具有冻结量词和注册自动机的LTL
机译:关于约束LTL中的冻结量词:可判定性和复杂性
机译:统一模数公用列表函数讨论观察者理论的各种组合的模数复杂性和可判定性
机译:位于朴素物理学:任务约束决定哪些孩子知道密度
机译:关于约束LTL中的冻结量词:可判定性和复杂性⋆
机译:分析和量化拥堵对波特兰都市区LTL行业成本和CO2排放的影响。