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
相关论文
共 7 条
[1]  
Bozzelli L., P IJCAR 2016, P389
[2]   The dark side of interval temporal logic: marking the undecidability border [J].
Bresolin, Davide ;
Della Monica, Dario ;
Goranko, Valentin ;
Montanari, Angelo ;
Sciavicco, Guido .
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2014, 71 (1-3) :41-83
[3]  
Della Monica D, 2011, BULL EUR ASSOC THEOR, P73
[4]   A PROPOSITIONAL MODAL LOGIC OF TIME INTERVALS [J].
HALPERN, JY ;
SHOHAM, Y .
JOURNAL OF THE ACM, 1991, 38 (04) :935-962
[5]  
Lomuscio A., P KR 2016, P298
[6]  
Molinari A., P KR 2016, P473
[7]  
Molinari A., 2016, ACTA INFORM IN PRESS