Department of Computer Science, University of Illinois at Urbana-Champaign, USA;
机译:线性时序逻辑LTL_K由具有交互代理的Multi-Agent Logic K_n扩展
机译:参数化的线性时序逻辑满足成本要求:仍不比LTL贵
机译:线性时序逻辑LTL中的统一
机译:艾伦线性(间隔)时间逻辑 - 翻译到LTL和监测综合
机译:线性时间逻辑到自动机的显式或符号转换
机译:基于线性时序逻辑(LTL)的智能制造系统监控
机译:艾伦线性(间隔)时间逻辑–转换为LTL和监控器综合–