Interval temporal logics model checking

被引：3
|
作者：
Montanari, Angelo [1 ]
机构：
[1] Univ Udine, Dept Math Comp Sci & Phys, I-33100 Udine, Italy
来源：
PROCEEDINGS 23RD INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING - TIME 2016 | 2016年
关键词：
D O I：
10.1109/TIME.2016.32
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：2 / 2
页数：1
相关论文
共 50 条
  • [31] Propositional interval neighborhood temporal logics
    Goranko, V
    Montanari, A
    Sciavicco, G
    [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2003, 9 (09) : 1137 - 1167
  • [32] Deterministic Temporal Logics and Interval Constraints
    Lodaya, Kamal
    Pandya, Paritosh K.
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (243): : 23 - 40
  • [33] Logics and translations for hierarchical model checking
    Kamide, Norihiro
    Yano, Ryu
    [J]. KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS, 2017, 112 : 31 - 40
  • [34] Symbolic model checking of logics with actions
    Pecheur, Charles
    Raimondi, Franco
    [J]. MODEL CHECKING AND ARTIFICIAL INTELLIGENCE, 2007, 4428 : 113 - +
  • [35] Model checking branching time logics
    Schnoebelen, Ph.
    [J]. TIME 2007: 14th International Symposium on Temporal Representation and Reasoning, Proceedings, 2007, : 5 - 5
  • [36] Which fragments of the interval temporal logic HS are tractable in model checking?
    Bozzelli, Laura
    Molinari, Alberto
    Montanari, Angelo
    Peron, Adriano
    Sala, Pietro
    [J]. THEORETICAL COMPUTER SCIENCE, 2019, 764 : 125 - 144
  • [37] Intrusion Detection Algorithm Based on Model Checking Interval Temporal Logic
    Zhu Weijun
    Wang Zhongyong
    Zhang Haibin
    [J]. CHINA COMMUNICATIONS, 2011, 8 (03) : 66 - 72
  • [38] Complexity analysis of a unifying algorithm for model checking interval temporal logic
    Bozzelli, Laura
    Montanari, Angelo
    Peron, Adriano
    [J]. INFORMATION AND COMPUTATION, 2021, 280
  • [39] Tableaux and Model Checking for Memory Logics
    Areces, Carlos
    Figueira, Diego
    Gorin, Daniel
    Mera, Sergio
    [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2009, 5607 : 47 - +
  • [40] Hybridizing Interval Temporal Logics: The First Step
    Walega, Przemyslaw Andrzej
    [J]. THIRTY-FIRST AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 4997 - 4998
12345