Proving feature non-interaction with alternating-time temporal logic

被引：0
|
作者：
Cassez, F [1 ]
Ryan, MD [1 ]
Schobbens, PY [1 ]
机构：
[1] IRCCyN, F-44321 Nantes 03, France
来源：
LANGUAGE CONSTRUCTS FOR DESCRIBING FEATURES | 2001年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：85 / 103
页数：19
相关论文
共 50 条
  • [1] Alternating-time temporal logic
    Alur, R
    Henzinger, TA
    Kupferman, O
    COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE, 1998, 1536 : 23 - 60
  • [2] Alternating-time temporal logic
    Alur, R
    Henzinger, TA
    Kupferman, O
    38TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 1997, : 100 - 109
  • [3] Alternating-time temporal logic
    Alur, R
    Henzinger, TA
    Kupferman, O
    JOURNAL OF THE ACM, 2002, 49 (05) : 672 - 713
  • [4] Satisfiability in alternating-time temporal logic
    van Drimmelen, G
    18TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2003, : 208 - 217
  • [5] Alternating-Time Temporal Announcement Logic
    de Lima, Tiago
    COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2011, 6814 : 105 - 121
  • [6] Graded Alternating-Time Temporal Logic
    Faella, Marco
    Napoli, Margherita
    Parente, Mimmo
    FUNDAMENTA INFORMATICAE, 2010, 105 (1-2) : 189 - 210
  • [7] Graded Alternating-Time Temporal Logic
    Faella, Marco
    Napoli, Margherita
    Parente, Mimmo
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (LPAR-16), 2010, 6355 : 192 - 211
  • [8] Timed alternating-time temporal logic
    Henzinger, Thomas A.
    Prabhu, Vinayak S.
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2006, 4202 : 1 - 17
  • [9] Robust Alternating-Time Temporal Logic
    Murano, Aniello
    Neider, Daniel
    Zimmermann, Martin
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2023, 2023, 14281 : 796 - 813
  • [10] Alternating-time temporal logic with resource bounds
    Hoang Nga Nguyen
    Alechina, Natasha
    Logan, Brian
    Rakib, Abdur
    JOURNAL OF LOGIC AND COMPUTATION, 2018, 28 (04) : 631 - 663
12345