Symbolic model checking for temporal-epistemic logic

被引：5

作者：

Lomuscio, Alessio ^{[1
]}

Penczek, Wojciech ^{[2
]}

机构：

[1] Department of Computing, Imperial College London, United Kingdom

[2] ICS PAS Warsaw, UPH Siedlce, Poland

来源：

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2012年 / 7360 LNCS卷

基金：

英国工程与自然科学研究理事会;

关键词：

Temporal logic - Computer circuits;

D O I：

10.1007/978-3-642-29414-3_10

中图分类号：

学科分类号：

摘要：

We survey some of the recent work in verification via symbolic model checking of temporal-epistemic logic. Specifically, we discuss OBDD-based and SAT-based approaches for epistemic logic built on discrete and real-time branching time temporal logic. The underlying semantical model considered throughout is the one of interpreted system, suitably extended whenever necessary. © 2012 Springer-Verlag Berlin Heidelberg.

引用

页码：172 / 195

共 50 条

[1] A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic
Cohen, Mika
Dam, Mads
Lomuscio, Alessio
Qu, Hongyang
21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS, 2009, : 721 - 726
[2] Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic
Van Der Meyden, Ron
Patra, Manas K.
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2020, 21 (04)
[3] Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic
van der Meyden, Ron
Patra, Manas K.
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (215): : 264 - 282
[4] Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata
Belardinelli, Francesco
Jones, Andrew V.
Lomuscio, Alessio
FUNDAMENTA INFORMATICAE, 2011, 112 (01) : 19 - 37
[5] Rich Counter-Examples for Temporal-Epistemic Logic Model Checking
Busard, Simon
Pecheur, Charles
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (78): : 39 - 53
[6] Model Checking Distributed Systems against Temporal-Epistemic Specifications
Griesmayer, Andreas
Lomuscio, Alessio
FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, FMOODS/FORTE 2013, 2013, 7892 : 130 - 145
[7] Symbolic Model Checking Epistemic Strategy Logic
Huang, Xiaowei
Van der Meyden, Ron
PROCEEDINGS OF THE TWENTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2014, : 1426 - 1432
[8] Symbolic Model Checking for Dynamic Epistemic Logic
van Benthem, Johan
van Eijck, Jan
Gattinger, Malvin
Su, Kaile
LOGIC, RATIONALITY, AND INTERACTION (LORI 2015), 2015, 9394 : 366 - 378
[9] Parallel Model Checking for Temporal Epistemic Logic
Kwiatkowska, Marta
Lomuscio, Alessio
Qu, Hongyang
ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2010, 215 : 543 - 548
[10] A Data Symmetry Reduction Technique for Temporal-epistemic Logic
Cohen, Mika
Dam, Mads
Lomuscio, Alessio
Qi, Hongyang
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2009, 5799 : 69 - 83

← 1 2 3 4 5 →