Invariance under stuttering in a temporal logic of actions

被引：2
|
作者：
Kaminski, Michael [1 ]
机构：
[1] Technion Israel Inst Technol, Dept Comp Sci, IL-32000 Haifa, Israel
来源：
THEORETICAL COMPUTER SCIENCE | 2006年 / 368卷 / 1-2期
关键词：
temporal logic of actions; temporal interpretations; invariance under stuttering; Ehrenfeucht-Fraisse games;
D O I：
10.1016/j.tcs.2006.06.020
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We show that some simple and useful stutter-invariant properties definable in the language of Lamport's Simple Temporal Logic of Actions (STLA) are not definable in STLA and present a natural extension of STLA that allows one to express all stutter-invariant properties definable in the language of STLA. (c) 2006 Elsevier B.V. All rights reserved.
引用
收藏
页码：50 / 63
页数：14
相关论文
共 50 条
  • [21] Planning under temporal uncertainty indurative actions
    Antonio Alvarez, J.
    Sebastia, Laura
    Onaindia, Eva
    [J]. ARTIFICIAL INTELLIGENCE RESEARCH AND DEVELOPMENT, 2006, 146 : 195 - 202
  • [22] The Approach to SDN Network Topology Verification on a Basis of Temporal Logic of Actions
    Shkarupylo, Vadym
    Polska, Olga
    [J]. 2018 14TH INTERNATIONAL CONFERENCE ON ADVANCED TRENDS IN RADIOELECTRONICS, TELECOMMUNICATIONS AND COMPUTER ENGINEERING (TCSET), 2018, : 183 - 186
  • [23] Simulation under Arbitrary Temporal Logic Constraints
    Brunel, Julien
    Chemouil, David
    Cunha, Alcino
    Macedo, Nuno
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (310): : 63 - 69
  • [24] Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks
    Lindemann, Lars
    Nowak, Jakub
    Schonbachler, Lukas
    Guo, Meng
    Tumova, Jana
    Dimarogonas, Dimos, V
    [J]. IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2021, 29 (02) : 858 - 865
  • [25] Unparticle actions and gauge invariance
    Ilderton, Anton
    [J]. PHYSICAL REVIEW D, 2009, 79 (02):
  • [26] Conformal invariance for Wilson actions
    Sonoda, H.
    [J]. PROGRESS OF THEORETICAL AND EXPERIMENTAL PHYSICS, 2017, 2017 (08):
  • [27] Extra Invariance of Group Actions
    C. Cabrelli
    C. A. Mosquera
    V. Paternostro
    [J]. The Journal of Geometric Analysis, 2021, 31 : 11878 - 11898
  • [28] Extra Invariance of Group Actions
    Cabrelli, C.
    Mosquera, C. A.
    Paternostro, V.
    [J]. JOURNAL OF GEOMETRIC ANALYSIS, 2021, 31 (12) : 11878 - 11898
  • [29] Discovering Intrinsic Spatial-Temporal Logic Rules to Explain Human Actions
    Cao, Chengzhi
    Yang, Chao
    Zhang, Ruimao
    Li, Shuang
    [J]. ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 36 (NEURIPS 2023), 2023,
  • [30] Integration of Corporate Electronic Services into a Smart Space Using Temporal Logic of Actions
    Levonevskiy, Dmitriy
    Vatamaniuk, Irina
    Saveliev, Anton
    [J]. INTERACTIVE COLLABORATIVE ROBOTICS (ICR 2017), 2017, 10459 : 134 - 143
12345