Verifying Systems of Resource-Bounded Agents

被引：0

作者：

Alechina, Natasha ^{[1
]}

Logan, Brian ^{[1
]}

机构：

[1] Univ Nottingham, Nottingham, England

来源：

PURSUIT OF THE UNIVERSAL | 2016年 / 9709卷

基金：

英国工程与自然科学研究理事会;

关键词：

MODEL; VERIFICATION; GAMES; LOGIC;

D O I：

10.1007/978-3-319-40189-8_1

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Approaches to the verification of multi-agent systems are typically based on games or transition systems defined in terms of states and actions. However such approaches often ignore a key aspect of multi-agent systems, namely that the agents' actions require (and sometimes produce) resources. We briefly survey previous work on the verification of multi-agent systems that takes resources into account, and outline some key challenges for future work.

引用

页码：3 / 12

页数：10

共 50 条

[21] A Logical Theory of Belief Dynamics for Resource-Bounded Agents
Balbiani, Philippe
Fernandez-Duque, David
Lorini, Emiliano
AAMAS'16: PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS, 2016, : 644 - 652
[22] On the (Un-)Decidability of Model Checking Resource-Bounded Agents
Bulling, Nils
Farwer, Berndt
ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2010, 215 : 567 - 572
[23] Electric Boolean Games Redistribution Schemes for Resource-Bounded Agents
Harrenstein, Paul
Turrini, Paolo
Wooldridge, Michael
PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (AAMAS'15), 2015, : 655 - 663
[24] Adaptive coordination of agents for timely and resource-bounded information monitoring
Liu, RL
Lin, SY
FOURTH INTERNATIONAL CONFERENCE ON MULTIAGENT SYSTEMS, PROCEEDINGS, 2000, : 175 - 182
[25] Partial global flexible scheduling for coordinating resource-bounded agents
Mouaddib, AI
INTERNATIONAL CONFERENCE ON MULTI-AGENT SYSTEMS, PROCEEDINGS, 1998, : 453 - 454
[26] On the Complexity of Resource-Bounded Logics
Alechina, Natasha
Bulling, Nils
Demri, Stephane
Logan, Brian
REACHABILITY PROBLEMS, RP 2016, 2016, 9899 : 36 - 50
[27] Resource-bounded measure and learnability
Lindner, W
Schuler, R
Watanabe, O
THEORY OF COMPUTING SYSTEMS, 2000, 33 (02) : 151 - 170
[28] On pseudorandomness and resource-bounded measure
Arvind, V
Köbler, J
THEORETICAL COMPUTER SCIENCE, 2001, 255 (1-2) : 205 - 221
[29] Resource-bounded fraud detection
Torgo, Luis
PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4874 : 449 - 460
[30] On the complexity of resource-bounded logics
Alechina, N.
Bulling, N.
Demri, S.
Logan, B.
THEORETICAL COMPUTER SCIENCE, 2018, 750 : 69 - 100

← 1 2 3 4 5 →