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 条
  • [21] On coarser interval temporal logics
    Munoz-Velasco, Emilio
    Pelegrin, Mercedes
    Sala, Pietro
    Sciavicco, Guido
    Eduard Stan, Ionel
    [J]. ARTIFICIAL INTELLIGENCE, 2019, 266 : 1 - 26
  • [22] INTERVAL TEMPORAL LOGICS: A JOURNEY
    Della Monica, Dario
    Goranko, Valentin
    Montanari, Angelo
    Sciavicco, Guido
    [J]. BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2011, (105): : 73 - 99
  • [23] Model checking temporal logics of knowledge and its application in security verification
    Wu, LJ
    Su, KL
    Chen, QL
    [J]. COMPUTATIONAL INTELLIGENCE AND SECURITY, PT 1, PROCEEDINGS, 2005, 3801 : 349 - 354
  • [24] Satisfiability and model checking for MSO-definable temporal logics are in PSPACE
    Gastin, P
    Kuske, D
    [J]. CONCUR 2003 - CONCURRENCY THEORY, 2003, 2761 : 222 - 236
  • [25] The Size of BDDs and Other Data Structures in Temporal Logics Model Checking
    Ferrara, Andrea
    Liberatore, Paolo
    Schaerf, Marco
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 2016, 65 (10) : 3148 - 3156
  • [26] Combined model checking for temporal, probabilistic, and real-time logics
    Konur, Savas
    Fisher, Michael
    Schewe, Sven
    [J]. THEORETICAL COMPUTER SCIENCE, 2013, 503 : 61 - 88
  • [27] Model checking temporal logics of knowledge via OBDDs1
    Su, Kaile
    Sattar, Abdul
    Luo, Xiangyu
    [J]. COMPUTER JOURNAL, 2007, 50 (04): : 403 - 420
  • [28] Constraining Cycle Alternations in Model Checking for Interval Temporal Logic
    Molinari, Alberto
    Montanari, Angelo
    Peron, Adriano
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2016, 322 (322) : 211 - 226
  • [29] Model checking algorithm for temporal logics of knowledge in multi-agent systems
    Wu, Li-Jun
    Su, Kai-Le
    [J]. Ruan Jian Xue Bao/Journal of Software, 2004, 15 (07): : 1012 - 1020
  • [30] Alternating Interval Based Temporal Logics
    Tian, Cong
    Duan, Zhenhua
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, 2010, 6447 : 694 - +
12345