Temporal verification of probabilistic multi-agent systems

被引：0

作者：

Dekhtyar, Michael I. ^{[1
]}

Dikovsky, Alexander Ja. ^{[2
]}

Valiev, Mars K. ^{[3
]}

机构：

[1] Tver State Univ, Dept CS, Tver 170000, Russia

[2] Univ Nantes, LINA, Nantes, France

[3] Keldysh Inst Appl Math, Moscow, Russia

来源：

PILLARS OF COMPUTER SCIENCE | 2008年 / 4800卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of actions. We show how such systems can be polynormally transformed to finite state Markov chains. This allows one to transfer known results on verifying temporal properties of the finite state Markov chains to the probabilistic multi-agent systems of the considered type.

引用

页码：256 / +

页数：3

共 50 条

[1] Verification of Epistemic Properties in Probabilistic Multi-Agent Systems
Delgado, Carla
Benevides, Mario
[J]. MULTI-AGENT SYSTEM TECHNOLOGIES, PROCEEDINGS, 2009, 5774 : 16 - +
[2] Probabilistic verification of a decentralized policy for conflict resolution in multi-agent systems
Pallottino, Lucia
Scordio, Vincenzo Giovanni
Frazzoli, Emilio
Bicchi, Antonio
[J]. 2006 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), VOLS 1-10, 2006, : 2448 - +
[3] Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
Engelfriet J.
Jonker C.M.
Treur J.A.N.
[J]. Journal of Logic, Language and Information, 2002, 11 (2) : 195 - 225
[4] Compositional verification of multi-agent systems in temporal multi-epistemic logic
Engelfriet, J
Jonker, CM
Treur, J
[J]. INTELLIGENT AGENTS V: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1999, 1555 : 177 - 193
[5] Towards verification of multi-agent systems
Gruer, P
Hilaire, V
Koukam, A
[J]. FOURTH INTERNATIONAL CONFERENCE ON MULTIAGENT SYSTEMS, PROCEEDINGS, 2000, : 393 - 394
[6] Debugging and Verification of Multi-Agent Systems
Benac Earle, Clara
Fredlund, Lars-Ake
[J]. COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2009, 2009, 5717 : 263 - 270
[7] Parameterised verification for multi-agent systems
Kouvaros, Panagiotis
Lomuscio, Alessio
[J]. ARTIFICIAL INTELLIGENCE, 2016, 234 : 152 - 189
[8] Multi-agent Verification and Control with Probabilistic Model Checking
Parker, David
[J]. QUANTITATIVE EVALUATION OF SYSTEMS, QEST 2023, 2023, 14287 : 1 - 9
[9] Probabilistic Plan Recognition for Multi-Agent Systems under Temporal Logic Tasks
Yu, Wentao
Li, Shanghao
Tian, Daiying
Cui, Jinqiang
[J]. ELECTRONICS, 2022, 11 (09)
[10] Temporal Logics for Multi-Agent Systems
Henzinger, Thomas A.
[J]. PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS' 18), 2018, : 1 - 1

← 1 2 3 4 5 →