TEMPORAL LOGIC AND Z-SPECIFICATIONS

被引：0
|
作者：
DUKE, R [1 ]
SMITH, G [1 ]
机构：
[1] UNIV QUEENSLAND,DEPT COMP SCI,ST LUCIA,QLD 4067,AUSTRALIA
来源：
AUSTRALIAN COMPUTER JOURNAL | 1989年 / 21卷 / 02期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：62 / 66
页数：5
相关论文
共 50 条
  • [21] Evolutional tableau method for temporal logic specifications
    Tomoishi, M
    Yonezaki, N
    INTERNATIONAL SYMPOSIUM ON PRINCIPLES OF SOFTWARE EVOLUTION, PROCEEDINGS, 2000, : 176 - 183
  • [22] Receding Horizon Control for Temporal Logic Specifications
    Wongpiromsarn, Tichakorn
    Topcu, Ufuk
    Murray, Richard M.
    HSSC 10: PROCEEDINGS OF THE 13TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2010, : 101 - 110
  • [23] Risk of Stochastic Systems for Temporal Logic Specifications
    Lindemann, Lars
    Jiang, Lejun
    Matni, Nikolai
    Pappas, George J.
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2023, 22 (03)
  • [24] Algorithmic verification of linear temporal logic specifications
    Kesten, Y
    Pnueli, A
    Raviv, L
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1998, 1443 : 1 - 16
  • [25] Temporal linear logic specifications for concurrent processes
    Kanovich, M
    Ito, T
    12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 48 - 57
  • [26] Parameter Synthesis Through Temporal Logic Specifications
    Dang, Thao
    Dreossi, Tommaso
    Piazza, Carla
    FM 2015: FORMAL METHODS, 2015, 9109 : 213 - 230
  • [27] Survey on mining signal temporal logic specifications
    Bartocci, Ezio
    Mateis, Cristinel
    Nesterini, Eleonora
    Nickovic, Dejan
    INFORMATION AND COMPUTATION, 2022, 289
  • [28] Feasibility Envelopes for Metric Temporal Logic Specifications
    Sadraddini, Sadra
    Belta, Calin
    2016 IEEE 55TH CONFERENCE ON DECISION AND CONTROL (CDC), 2016, : 5732 - 5737
  • [29] USING THE TEMPORAL LOGIC RDL FOR DESIGN SPECIFICATIONS
    GABBAY, D
    HODKINSON, I
    HUNTER, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 491 : 64 - 78
  • [30] Towards Manipulation Planning with Temporal Logic Specifications
    He, Keliang
    Lahijanian, Morteza
    Kavraki, Lydia E.
    Vardi, Moshe Y.
    2015 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2015, : 346 - 352
12345