Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic

被引：0

作者：

Wozna-Szczesniak, Bozena ^{[1
]}

Szczesniak, Ireneusz ^{[2
]}

Zbrzezny, Agnieszka M. ^{[1
]}

Zbrzezny, Andrzej ^{[1
]}

机构：

[1] Jan Dlugosz Univ, IMCS, Al Armii Krajowej 13-15, PL-42200 Czestochowa, Poland

[2] AGH Univ Sci & Technol, Dept Telecommun, PL-30059 Krakow, Poland

来源：

PRIMA 2014: PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS | 2014年 / 8861卷

关键词：

ALGORITHMS;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

The paper deals with the SAT-and ROBDD-based bounded model checking (BMC) methods for the existential fragment of a flat weighted epistemic computation tree logic (FWECTLK) interpreted over weighted interpreted systems. We implemented the both BMC algorithms, and compared them with each other on several benchmarks for multi-agent systems.

引用

页码：107 / 115

页数：9

共 50 条

[41] VECTORIZED SYMBOLIC MODEL CHECKING OF COMPUTATION TREE LOGIC FOR SEQUENTIAL MACHINE VERIFICATION
HIRAISHI, H
HAMAGUCHI, K
OCHI, H
YAJIMA, S
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 575 : 214 - 224
[42] Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures
Li, Yongming
Ma, Zhanyou
[J]. IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2015, 23 (06) : 2034 - 2047
[43] MODEL CHECKING IS REFINEMENT From Computation Tree Logic to Failure Trace Testing
Bruda, Stefan D.
Zhang, Zhiyu
[J]. ICSOFT 2010: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 2, 2010, : 173 - 178
[44] Parameterized model checking of weighted networks
Meinecke, Ingmar
Quaas, Karin
[J]. THEORETICAL COMPUTER SCIENCE, 2014, 534 : 69 - 85
[45] Application of symbolic and bounded model checking to the verification of logic control systems
Loeis, Kingliana
Younis, Mohammed Bani
Frey, Georg
[J]. ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PTS 1 AND 2, PROCEEDINGS, 2005, : 247 - 250
[46] Model Checking for a Class of Weighted Automata
Buchholz, Peter
Kemper, Peter
[J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2010, 20 (01): : 103 - 137
[47] Model Checking for a Class of Weighted Automata
Peter Buchholz
Peter Kemper
[J]. Discrete Event Dynamic Systems, 2010, 20 : 103 - 137
[48] Verifying epistemic properties of multi-agent systems via bounded model checking
Penczek, W
Lomuscio, A
[J]. FUNDAMENTA INFORMATICAE, 2003, 55 (02) : 167 - 185
[49] Bounded model checking distributed temporal logic
Peres, Augusto
Ramos, Jaime
Dionisio, Francisco
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2023, 33 (05) : 1022 - 1059
[50] Bounded model checking with description logic reasoning
Ben-David, Shoham
Trefler, Richard
Weddell, Grant
[J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2007, 4548 : 60 - +

← 1 2 3 4 5 →