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 条

[21] Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic
Miedema, Daniel
Gattinger, Malvin
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, (379): : 407 - 420
[22] Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic
Lomuscio, Alessio
Penczek, Wojciech
Qu, Hongyang
MODEL CHECKING AND ARTIFICIAL INTELLIGENCE, 2009, 5348 : 106 - +
[23] Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems
Lomuscio, Alessio
Penczek, Wojciech
Qu, Hongyang
FUNDAMENTA INFORMATICAE, 2010, 101 (1-2) : 71 - 90
[24] Symbolic model checking of Verilog programs with the propositional projection temporal logic
Pang, Tao
Duan, Zhenhua
Liu, Xiaofang
Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University, 2014, 41 (02): : 79 - 84
[25] Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic
Huang, Xiaowei
van der Meyden, Ron
AI 2009: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2009, 5866 : 11 - 20
[26] Fully symbolic unbounded model checking for Alternating-time Temporal Logic
Kacprzak, M
Penczek, W
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2005, 11 (01) : 69 - 89
[27] Temporal logic model checking
Clarke, EM
LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 3 - 3
[28] Temporal logic and model checking
McMillan, KL
VERIFICATION OF DIGITAL AND HYBRID SYSTEM, 2000, 170 : 36 - 54
[29] Symbolic model checking and simulation with temporal assertions
Weiss, RJ
Ruf, J
Kropf, T
Rosenstiel, W
ADVANCES IN DESIGN AND SPECIFICATION LANGUAGES FOR SOCS: SELECTED CONTRIBUTIONS FROM FDL'04, 2005, : 275 - 291
[30] UTP and Temporal Logic Model Checking
Anderson, Hugh
Ciobanu, Gabriel
Freitas, Leo
UNIFYING THEORIES OF PROGRAMMING, 2010, 5713 : 22 - +

← 1 2 3 4 5 →