机译:强烈离散的线性阶上的时间间隔逻辑:表达性和复杂性
Interval temporal logics; Discrete linear orders; Expressiveness; Decidability; Complexity;
机译:强烈离散的线性阶上的时间间隔逻辑:表达性和复杂性
机译:时间间隔与点时间逻辑模型检查:可表达性比较
机译:时空逻辑的结合:表现力与复杂度
机译:关于有限和离散线性阶上的艾伦关系的区间逻辑的表达
机译:使用时间间隔逻辑指定分布式程序。
机译:具有信道衰落扇区非线性以及随机出现的间隔延迟和非线性的离散时间系统的模糊...公式输出反馈控制
机译:强烈离散线性阶上的区间时间逻辑:完整图景
机译:区间时态逻辑的表达性和完备性