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 条

[41] A generalization of resource-bounded measure, with an application
Buhrman, H
van Melkebeek, D
Regan, KW
Sivakumar, D
Strauss, M
STACS 98 - 15TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1998, 1373 : 161 - 171
[42] Expressing Properties of Resource-Bounded Systems: The Logics RTL☆ and RTL
Bulling, Nils
Farwer, Berndt
COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2010, 6214 : 22 - +
[43] Resource-Bounded Norm Monitoring in Multi-agent Systems
Criado, Natalia
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2018, 62 : 153 - 192
[44] Resource-bounded Kolmogorov complexity revisited
Buhrman, H
Fortnow, L
Laplante, S
SIAM JOURNAL ON COMPUTING, 2002, 31 (03) : 887 - 905
[45] Resource-bounded measure (preliminary version)
Lutz, JH
THIRTEENTH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY - PROCEEDINGS, 1998, : 236 - 248
[46] Resource-bounded Kolmogorov complexity revisited
Buhrman, H
Fortnow, L
STACS 97 - 14TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1997, 1200 : 105 - 116
[47] A game-theoretic approach for integrity assurance in resource-bounded systems
Laszka, Aron
Vorobeychik, Yevgeniy
Koutsoukos, Xenofon
INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 2018, 17 (02) : 221 - 242
[48] ON A PRICED RESOURCE-BOUNDED ALTERNATING μ-CALCULUS
Della Monica, Dario
Lenzi, Giacomo
ICAART: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL. 2, 2012, : 222 - 227
[49] Resource-bounded belief revision and contraction
Alechina, Natasha
Jago, Mark
Logan, Brian
DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES III, 2006, 3904 : 141 - 154
[50] Resource-bounded searches in an information marketplace
Lesser, V
Horling, B
Raja, A
Zhang, XQ
Wagner, T
IEEE INTERNET COMPUTING, 2000, 4 (02) : 49 - 58

← 1 2 3 4 5 →