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 条
  • [31] Elaborating on Learned Demonstrations with Temporal Logic Specifications
    Innes, Craig
    Ramamoorthy, Subramanian
    ROBOTICS: SCIENCE AND SYSTEMS XVI, 2020,
  • [32] Interpretable Apprenticeship Learning with Temporal Logic Specifications
    Kasenberg, Daniel
    Scheutz, Matthias
    2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2017,
  • [33] Monitoring Algorithms for Metric Temporal Logic Specifications
    Thati, Prasanna
    Rosu, Grigore
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 113 : 145 - 162
  • [34] Revising Temporal Logic Specifications for Motion Planning
    Fainekos, Georgios E.
    2011 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2011,
  • [35] Reversibility of Executable Interval Temporal Logic Specifications
    Cau, Antonio
    Kuhn, Stefan
    Hoey, James
    REVERSIBLE COMPUTATION (RC 2021), 2021, 12805 : 214 - 223
  • [36] Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design
    Rodionova, Alena
    Lindemann, Lars
    Morari, Manfred
    Pappas, George
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2023, 22 (01)
  • [37] Control in Belief Space with Temporal Logic Specifications
    Vasile, Cristian-Ioan
    Leahy, Kevin
    Cristofalo, Eric
    Jones, Austin
    Schwager, Mac
    Belta, Calin
    2016 IEEE 55TH CONFERENCE ON DECISION AND CONTROL (CDC), 2016, : 7419 - 7424
  • [38] Receding Horizon Surveillance with Temporal Logic Specifications
    Ding, Xu Chu
    Belta, Calin
    Cassandras, Christos G.
    49TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2010, : 256 - 261
  • [39] Transfer Entropy in MDPs with Temporal Logic Specifications
    Bharadwaj, Suda
    Ahmadi, Mohamadreza
    Tanaka, Takashi
    Topcu, Ufuk
    2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2018, : 4173 - 4180
  • [40] Temporal logic for scenario-based specifications
    Kugler, H
    Harel, D
    Pnueli, A
    Lu, Y
    Bontemps, Y
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2005, 3440 : 445 - 460
12345