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 条

[31] Techniques for temporal logic model checking
Deharbe, David
REFINEMENT TECHNIQUES IN SOFTWARE ENGINEERING, 2006, 3167 : 315 - 367
[32] Model checking distributed temporal logic
Dionisio, Francisco
Ramos, Jaime
Subtil, Fernando
Vigano, Luca
LOGIC JOURNAL OF THE IGPL, 2024,
[33] Model checking interval temporal logic
Zhang, Hai-Bin
Duan, Zhen-Hua
Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University, 2009, 36 (02): : 338 - 342
[34] Symmetry in temporal logic model checking
Miller, Alice
Donaldson, Alastair
Calder, Muffy
ACM COMPUTING SURVEYS, 2006, 38 (03) : 2
[35] Parallel and Symbolic Model Checking for Fixpoint Logic with Chop
Lange, Martin
Loidl, Hans Wolfgang
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 128 (03) : 125 - 138
[36] Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1
Magdalena Kacprzak
Wojciech Penczek
Autonomous Agents and Multi-Agent Systems, 2005, 11 : 69 - 89
[37] CTL Symbolic Model Checking Based on Fuzzy Logic
Nie, Pengzhan
Jiang, Jiulei
Ma, Zhanyou
2020 IEEE INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, INTL CONF ON CLOUD AND BIG DATA COMPUTING, INTL CONF ON CYBER SCIENCE AND TECHNOLOGY CONGRESS (DASC/PICOM/CBDCOM/CYBERSCITECH), 2020, : 380 - 385
[38] Statistical Model Checking for Probabilistic Temporal Epistemic Logics
Ramesh, Yenda
Rao, M. V. Panduranga
ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 1, 2022, : 53 - 63
[39] Model checking for epistemic and temporal properties of uncertain agents
Cao, Zining
AGENT COMPUTING AND MULTI-AGENT SYSTEMS, 2006, 4088 : 46 - 58
[40] A SAT-based approach to unbounded model checking for Alternating-time Temporal Epistemic Logic
Kacprzak, M
Penczek, W
SYNTHESE, 2004, 142 (02) : 203 - 227

← 1 2 3 4 5 →