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 条
  • [1] SMT-based Bounded Model Checking for Weighted Interpreted Systems and for Weighted Epistemic ECTL
    Zbrzezny, Agnieszka M.
    Wozna-Szczesniak, Bozena
    Zbrzezny, Andrzej
    [J]. PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (AAMAS'15), 2015, : 1671 - 1672
  • [2] Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems
    Li, Xia
    Ma, Zhanyou
    Mian, Zhibao
    Liu, Ziyuan
    Huang, Ruiqi
    He, Nana
    [J]. CMC-COMPUTERS MATERIALS & CONTINUA, 2024, 78 (03): : 4129 - 4152
  • [3] SAT-Based Bounded Model Checking for Weighted Deontic Interpreted Systems
    Wozna-Szczesniak, Bozena
    [J]. PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2013, 2013, 8154 : 444 - 455
  • [4] Checking WELTLK Properties of Weighted Interpreted Systems via SMT-Based Bounded Model Checking
    Zbrzezny, Agnieszka M.
    Zbrzezny, Andrzej
    [J]. PRIMA 2015: PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS, 2015, 9387 : 660 - 669
  • [5] SMT-Based Bounded Model Checking for Weighted Epistemic ECTL
    Zbrzezny, Agnieszka M.
    Wozna-Szczesniak, Bozena
    Zbrzezny, Andrzej
    [J]. PROGRESS IN ARTIFICIAL INTELLIGENCE-BK, 2015, 9273 : 651 - 657
  • [6] Model checking fuzzy computation tree logic of multi-agent systems based on fuzzy interpreted systems
    Ma, Zhanyou
    Li, Xia
    Liu, Ziyuan
    Huang, Ruiqi
    He, Nana
    [J]. FUZZY SETS AND SYSTEMS, 2024, 485
  • [7] Checking WECTLK Properties of Timed Real-Weighted Interpreted Systems via SMT-Based Bounded Model Checking
    Zbrzezny, Agnieszka M.
    Zbrzezny, Andrzej
    [J]. PROGRESS IN ARTIFICIAL INTELLIGENCE-BK, 2015, 9273 : 638 - 650
  • [8] Model checking epistemic-probabilistic logic using probabilistic interpreted systems
    Wan, Wei
    Bentahar, Jamal
    Ben Hamza, Abdessamad
    [J]. KNOWLEDGE-BASED SYSTEMS, 2013, 50 : 279 - 295
  • [9] Bounded Model Checking for Deontic Interpreted Systems
    Wozna, Bozena
    Lomuscio, Alessio
    Penczek, Wojciech
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 126 : 93 - 114
  • [10] Efficient Model Checking Timed and Weighted Interpreted Systems Using SMT and SAT Solvers
    Zbrzezny, Agnieszka M.
    Zbrzezny, Andrzej
    Raimondi, Franco
    [J]. AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGY AND APPLICATIONS, KES-AMSTA 2016, 2016, 58 : 45 - 55
12345